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

constraints:
  base installed,
  binary installed,
  bytestring installed,
  ghc installed,
  ghc-bignum installed,
  ghc-prim installed,
  integer-gmp installed,
  template-haskell installed,
  text installed,
  time installed

constraints:
  Agda ==2.6.2.2,
  Cabal ==2.4.1.0 || ==3.0.2.0 || ==3.2.1.0,
  FPretty ==1.1,
  ansi-pretty ==0.1.2.2,
  arith-encode ==1.0.2,
  async-pool ==0.9.1,
  box-tuples ==0.2.0.4,
  bv-sized ==1.0.4,
  bytesmith ==0.3.9.0,
  cabal-doctest ==1.0.9,
  charsetdetect ==1.1.0.2,
  charsetdetect-ae ==1.1.0.4,
  chaselev-deque ==0.5.0.5,
  critbit ==0.2.0.0,
  cryptol ==2.13.0,
  data-default-instances-new-base ==0.0.2,
  data-r-tree ==0.6.0,
  datetime ==0.3.1,
  doctest ==0.20.1,
  double-conversion ==2.0.4.1,
  drinkery ==0.4,
  endo ==0.3.0.1,
  enumeration ==0.2.0,
  free-functors ==1.2.1,
  futhark ==0.22.3,
  geniplate-mirror ==0.7.8,
  ghc-debug-common ==0.2.1.0,
  haskeline ==0.7.5.0,
  haxl ==2.4.0.0,
  hgeometry ==0.14,
  hgeometry-combinatorial ==0.14,
  hgeometry-ipe ==0.13,
  inj-base ==0.2.0.0,
  inline-c-cpp ==0.5.0.0,
  io-choice ==0.0.7,
  language-haskell-extract ==0.2.4,
  monadplus ==1.4.2,
  packman ==0.5.0,
  parameterized-utils ==2.1.5.0,
  partial-isomorphisms ==0.2.3.0,
  posix-api ==0.3.5.0,
  row-types ==1.0.1.2,
  salak ==0.3.6,
  sbv ==9.0,
  singletons-base ==3.1,
  siphash ==1.0.3,
  text-format ==0.3.2,
  true-name ==0.1.0.3,
  typelits-printf ==0.2.0.0,
  vector-th-unbox ==0.2.2,
  what4 ==1.3,
  wide-word ==0.1.1.2,
  winery ==1.4