Dependencies for ghc-proofs-0.1

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