liquidhaskell-0.8.10.7: cabal.ghc9.project

packages: .
          ./liquid-bytestring
          ./liquid-containers
          ./liquid-fixpoint
          ./liquid-parallel
          ./liquid-prelude
          ./liquid-vector
          ./liquid-platform

package liquid-fixpoint
  flags: +devel

package liquid-platform
  flags: +devel

tests: True

with-compiler: ghc-9.0.1

source-repository-package
    type: git
    location: https://github.com/liquidhaskell/liquid-ghc-prim.git
    tag: v0.7.0

source-repository-package
    type: git
    location: https://github.com/liquidhaskell/liquid-base.git
    tag: v4.15.0.0

constraints:
  any.Cabal ==3.4.0.0,
  Decimal ==0.5.1,
  EdisonAPI ==1.3.1,
  EdisonCore ==1.3.2.1,
  FPretty ==1.1,
  HTTP ==4000.3.15,
  ListLike ==4.7.2,
  QuickCheck ==2.14.2,
  active ==0.2.0.14,
  aivika ==5.9,
  aivika-transformers ==5.9,
  alex ==3.2.5,
  arith-encode ==1.0.2,
  basement ==0.0.11,
  cassava ==0.5.2.0,
  chaselev-deque ==0.5.0.5,
  combinat ==0.2.9.0,
  commonmark ==0.1.0.2,
  conduit ==1.3.2.1,
  cql ==4.0.2,
  critbit ==0.2.0.0,
  cryptonite ==0.27,
  data-r-tree ==0.6.0,
  diagrams-lib ==1.4.3,
  doctest ==0.16.3 || ==0.17,
  drinkery ==0.4,
  emacs-module ==0.1.1,
  enumeration ==0.2.0,
  fclabels ==2.0.5,
  foundation ==0.0.25,
  free ==5.1.7,
  recursion-schemes ==5.2.2,
  free-algebras ==0.1.0.0,
  generic-deriving ==1.14,
  generic-lens ==2.0.0.0,
  generic-lens-core ==2.0.0.0,
  generics-sop ==0.5.1.0,
  haskeline ==0.7.5.0,
  haskell-src-meta ==0.8.5,
  heterocephalus ==1.0.5.4,
  hgeometry ==0.11.0.0,
  hgeometry-ipe ==0.11.0.0,
  hmatrix ==0.20.0.0,
  hslua ==1.2.0,
  hxt ==9.3.1.18,
  hxt-regex-xmlschema ==9.2.0.3,
  inspection-testing ==0.4.2.4,
  io-choice ==0.0.7,
  io-streams ==1.5.2.0,
  iproute ==1.7.9,
  kind-generics-th ==0.2.2.1,
  language-haskell-extract ==0.2.4,
  lens ==4.19.2,
  lens-family ==2.1.0,
  lens-family-th ==0.5.1.0,
  memory ==0.15.0,
  microlens ==0.4.11.2,
  microlens-th ==0.4.3.6,
  monadplus ==1.4.2,
  mustache ==2.3.1,
  network-uri ==2.6.3.0,
  obdd ==0.8.2,
  optics-extra ==0.4,
  optics-th ==0.4,
  packman ==0.5.0,
  pandoc ==2.11,
  parameterized-utils ==2.1.1,
  partial-isomorphisms ==0.2.2.1,
  persistent-template ==2.8.2.3,
  pipes ==4.3.14,
  pipes-bytestring ==2.1.6,
  pipes-parse ==3.0.8,
  pipes-safe ==2.3.2,
  plots ==0.1.1.2,
  pretty-types ==0.3.0.1,
  proto3-wire ==1.2.0,
  ral-lens ==0.1,
  regex-base ==0.94.0.0,
  regex-compat ==0.95.2.0,
  row-types ==1.0.0.0,
  scheduler ==1.4.2.3,
  semirings ==0.5.4,
  shake ==0.19.1,
  singletons ==2.6 || ==2.7,
  store ==0.7.12,
  store-core ==0.4.4.4,
  streaming-bytestring ==0.1.6,
  syb ==0.7.2.1,
  texmath ==0.12.0.3,
  text-show ==3.8.5,
  th-abstraction ==0.4.2.0,
  th-desugar ==1.10 || ==1.11,
  th-expand-syns ==0.4.8.0,
  th-lift-instances ==0.1.18,
  th-utilities ==0.2.4.3,
  tpdb ==2.2.0,
  trivial-constraint ==0.6.0.0,
  true-name ==0.1.0.3,
  typenums ==0.1.2.1,
  uniplate ==1.6.12,
  unique ==0,
  vec-lens ==0.3,
  vinyl ==0.13.0,
  xlsx ==0.8.1,
  yesod-core ==1.6.18.4