packages feed

logic-TPTP

view on Hackage

versionuploadeduploaderchanges
0.6.0.02024-11-09 06:29 UTCMasahiroSakai+202/−235 lines, 14 filesdep +prettyprinterdep +prettyprinter-ansi-terminaldep +textdep −ansi-wl-pprintdep −transformers-compatdep ~basedep ~pcre-lightdep ~transformersPVP ok
0.5.1.02024-09-04 15:12 UTCMasahiroSakai+26/−12 lines, 5 filesdep ~mtlPVP: major bump suggested
0.5.0.02020-02-28 12:17 UTCMasahiroSakai4 revisions+113/−29 lines, 11 filesdep +optparse-applicativePVP ok
0.4.7.02020-02-16 11:28 UTCMasahiroSakai2 revisions+313/−110 lines, 10 filesdep +bytestringdep +logic-TPTPdep +pcre-lightdep ~QuickCheckdep ~ansi-wl-pprintdep ~basenew-component:exe:ParseRandomnew-component:exe:PrettyPrintFilenew-component:exe:TestImportExportImportFilenew-uploaderPVP: major bump suggested
0.4.6.02018-07-21 21:23 UTCDanielSchuessler2 revisions+10/−5 lines, 3 filesdep +semigroupsPVP: major bump suggested
0.4.5.02017-09-02 16:38 UTCDanielSchuessler2 revisions+32/−5694 lines, 9 filesdep ~transformers-compatPVP: major bump suggested
0.4.4.02016-01-24 17:42 UTCDanielSchuessler2 revisions+5661/−2 lines, 6 filesPVP: major bump suggested
0.4.3.02015-05-17 19:44 UTCDanielSchuessler2 revisions+615/−6212 lines, 19 filesPVP: major bump suggested
0.4.2.02014-08-10 20:51 UTCDanielSchuessler2 revisions+8/−11 lines, 2 filesdep +transformers-compatPVP ok
0.4.1.02014-05-24 02:14 UTCDanielSchuessler2 revisions+321/−216 lines, 9 filesdep +transformersPVP: major bump suggested
0.4.0.02012-08-27 19:18 UTCDanielSchuessler2 revisions+57/−79 lines, 14 filesdep +pointeddep −utf8-preludePVP ok
0.3.0.22012-08-27 14:41 UTCDanielSchuessler2 revisions+39/−35 lines, 6 filesPVP ok
0.3.0.12011-11-07 23:01 UTCKiYungAhn2 revisions+9/−2 lines, 2 filesPVP ok
0.3.0.02011-10-14 10:51 UTCDanielSchuessler2 revisions+3604/−3403 lines, 20 filesPVP ok
0.2.0.72011-01-22 14:59 UTCKiYungAhn2 revisions+11/−2 lines, 2 files
0.2.0.62011-01-22 14:56 UTCKiYungAhn2 revisions+3148/−3181 lines, 11 filesdep −haskell98
0.2.0.42010-10-13 15:19 UTCKiYungAhn2 revisions+3202/−133 lines, 8 filesPVP: major bump suggested
0.2.0.32010-09-22 18:46 UTCKiYungAhn2 revisions+749/−126 lines, 9 filesPVP: major bump suggested
0.2.0.12010-07-20 00:01 UTCKiYungAhn2 revisions+32/−196 lines, 9 filesdep ~basesetup-changednew-uploaderPVP ok
0.2.02009-05-03 18:59 UTCDanielSchuessler2 revisions+684/−252 lines, 16 filesdep +mtlPVP ok
0.12009-04-28 13:38 UTCDanielSchuessler1 revisions+5040/−0 lines, 18 filesdep +QuickCheckdep +ansi-wl-pprintdep +arraysetup-changed

Dependencies of logic-TPTP-0.6.0.0

QuickCheck >=2 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

array >=0 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 versions

base >=4.8.0.0 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

bytestring >=0 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

containers >=0 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

mtl >=0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploaderPVP: major bump suggested
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~basePVP: major bump suggested
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploaderPVP ok
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~basePVP: major bump suggested
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformersPVP: major bump suggested

showing 5 of 20 versions

optparse-applicative >=0.11 && <0.19 0.18.1.0 → 0.19.0.0 newer than bounds
2025-06-03 08:53 UTC0.19.0.0 newer than bounds+1356/−72 lines, 24 filesdep −transformers-compatdep ~QuickCheckdep ~transformers
2023-05-30 03:40 UTC0.18.1.0+28/−11 lines, 4 filesdep +textdep ~basedep ~prettyprinter-ansi-terminal
2023-05-23 10:11 UTC0.18.0.0+165/−85 lines, 14 filesdep +prettyprinterdep +prettyprinter-ansi-terminaldep −ansi-wl-pprintdep ~base
2023-05-23 10:09 UTC0.17.1.0+118/−60 lines, 13 files
2022-02-01 10:27 UTC0.17.0.0+222/−65 lines, 17 files

showing 5 of 47 versions

pcre-light >=0 0.4.1.2 → 0.4.1.3
2025-02-16 11:27 UTC0.4.1.3+25/−23 lines, 3 filesdep ~base
2023-09-12 12:07 UTC0.4.1.2+61/−29 lines, 5 files
2019-11-13 07:58 UTC0.4.1.0+4602/−21 lines, 4 filesdep +HUnitdep +containersdep +mtldep ~base
2015-11-03 04:26 UTC0.4.0.4+8/−26 lines, 4 files
2014-08-18 20:37 UTC0.4.0.3+4/−4 lines, 1 files

showing 5 of 14 versions

pointed >=0 5.0.4 → 5.0.5
2024-10-26 20:15 UTC5.0.5+23/−81 lines, 4 filesdep −ghc-primdep −semigroupsdep ~basedep ~containersdep ~data-default-class
2022-05-07 23:52 UTC5.0.4+20/−11 lines, 3 filesdep ~containersdep ~hashabledep ~semigroupoids
2021-11-01 12:15 UTC5.0.3+14/−169 lines, 5 filesdep ~basedep ~hashable
2020-09-30 22:17 UTC5.0.2+148/−129 lines, 5 filesdep −generic-deriving
2018-01-22 16:25 UTC5.0.1+216/−15 lines, 5 filesdep +generic-derivingdep +ghc-primdep ~basedep ~containersdep ~hashablenew-uploader

showing 5 of 35 versions

prettyprinter >=1.2.1.1 && <1.8 1.7.1 → 1.7.2
2026-04-28 13:43 UTC1.7.2+240/−167 lines, 17 filesdep +tasty-benchdep −faildep −gaugedep −transformersdep ~QuickCheckdep ~basedep ~base-compat
2021-09-11 09:06 UTC1.7.1+197/−164 lines, 31 filesdep ~bytestring
2020-07-31 13:28 UTC1.7.0+4220/−3960 lines, 32 filesdep ~semigroups
2020-06-20 22:40 UTC1.6.2+176/−87 lines, 6 files
2020-02-10 18:33 UTC1.6.1+373/−145 lines, 13 files

showing 5 of 20 versions

prettyprinter-ansi-terminal >=1.0 && <1.2 1.1.3 → 1.1.4
2026-04-28 13:43 UTC1.1.4+142/−48 lines, 9 filesdep +tasty-benchdep −gaugedep −semigroupsdep ~QuickCheckdep ~basedep ~base-compat
2021-09-11 09:06 UTC1.1.3+16/−27 lines, 5 filesdep ~prettyprinter
2020-07-31 13:29 UTC1.1.2+618/−368 lines, 8 filesdep +QuickCheckdep +base-compatdep +containersdep ~basedep ~prettyprinterdep ~textnew-uploader
2018-02-22 07:48 UTC1.1.1.2+20/−11 lines, 3 files
2017-08-05 11:42 UTC1.1.1.1+138/−54 lines, 3 filesdep ~prettyprinter

showing 5 of 10 versions

process >=0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 versions

semigroups >=0 0.20 → 0.20.1
2026-01-10 20:32 UTC0.20.1+29/−2103 lines, 6 filesdep −binarydep −bytestringdep −bytestring-builderdep ~base
2021-11-16 00:07 UTC0.20+9/−27 lines, 3 filesdep ~hashable
2021-08-30 11:23 UTC0.19.2+45/−203 lines, 6 filesdep ~hashable
2019-08-27 13:06 UTC0.19.1+100/−60 lines, 5 filesdep ~hashabledep ~transformers
2019-05-10 13:57 UTC0.19+217/−167 lines, 5 filesdep +template-haskelldep ~hashable

showing 5 of 65 versions

syb >=0 0.7.3 → 0.7.4
2026-03-07 17:18 UTC0.7.4+27/−18 lines, 4 files
2025-08-21 20:31 UTC0.7.3+176/−154 lines, 13 filesdep ~base
2023-07-30 17:25 UTC0.7.2.4+434/−64 lines, 7 files
2023-03-18 23:19 UTC0.7.2.3+50/−36 lines, 4 filesdep ~mtl
2022-09-17 15:09 UTC0.7.2.2+108/−79 lines, 36 files

showing 5 of 33 versions

text >=0 2.1.3 → 2.1.4
2026-01-28 08:30 UTC2.1.4+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

transformers >=0.5 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

2 packages depend on logic-TPTP

acme-everything 2018.11.18 requires logic-TPTP >=0
toysolver 0.9.0 requires logic-TPTP >=0.4.6.0 && <0.7