allow-newer:
  Cabal,
  base,
  binary,
  bytestring,
  deepseq,
  ghc,
  ghc-bignum,
  ghc-prim,
  integer-gmp,
  template-haskell,
  text,
  time

constraints:
  base installed,
  ghc installed,
  ghc-bignum installed,
  ghc-prim installed,
  integer-gmp installed,
  template-haskell installed

constraints:
  Agda ==2.6.3,
  cabal-doctest ==1.0.9,
  configuration-tools ==0.7.0,
  darcs ==2.16.5,
  entropy ==0.4.1.10,
  executable-hash ==0.2.0.4,
  ghc-paths ==0.1.0.12,
  gi-glib ==2.0.29,
  gi-gobject ==2.0.30,
  haskell-gi ==0.26.7,
  hlibgit2 ==0.18.0.16,
  include-file ==0.1.0.4,
  interpolatedstring-perl6 ==1.0.2,
  mysql ==0.2.1,
  nix-paths ==1.0.1,
  postgresql-libpq ==0.10.0.0,
  singletons-base ==3.2,
  stack ==2.13.1

constraints:
  setup.Cabal == 3.13.0.0,
  Cabal == 3.13.0.0