Dependencies for ghc-proofs-0.1

Libraries

ghc-proofs

base (>=4.9 && <4.11)
ghc (>=8.2 && <8.4)