Dependencies for PropaFP-0.1.1.0
Libraries
PropaFP
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.15.1.0 && <4.16)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
Executables
propafp-prettify
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
propafp-run-dreal
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
propafp-run-lppaver
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
propafp-run-metitarski
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
propafp-translate-dreal
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)
propafp-translate-metitarski
- aern2-mfun (>=0.2.9 && <0.3)
- aern2-mp (>=0.2.9.1 && <0.3)
- base (>=4.7 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytestring (>=0.10.12.1 && <0.11)
- collect-errors (>=0.1.5 && <0.2)
- containers (>=0.6.4.1 && <0.7)
- directory (>=1.3.6.2 && <1.4)
- extra (>=1.7.10 && <1.8)
- ghc (>=9.0.2 && <9.1)
- mixed-types-num (>=0.5.10 && <0.6)
- optparse-applicative (>=0.16.1.0 && <0.17)
- process (>=1.6.13.2 && <1.7)
- PropaFP
- QuickCheck (>=2.14.2 && <2.15)
- regex-tdfa (>=1.3.1.2 && <1.4)
- scientific (>=0.3.7.0 && <0.4)
- temporary (>=1.3 && <1.4)