PropaFP-0.1.1.0: dependencies

Dependencies for PropaFP-0.1.1.0

library	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)
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)