tptp
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.3.0 | 2021-01-11 14:39 UTC | EK | +118/−27 lines, 13 files | |
| 0.1.2.0 | 2020-04-03 13:01 UTC | EK | +862/−155 lines, 15 filesdep +filepathdep ~basedep ~scientificdep ~semigroups | |
| 0.1.1.0 | 2019-12-07 16:52 UTC | EK | +1825/−80 lines, 15 filesdep ~prettyprinter | |
| 0.1.0.3 | 2019-06-10 22:11 UTC | EK | +78/−14 lines, 10 files | |
| 0.1.0.2 | 2019-05-07 12:01 UTC | EK | +1/−149 lines, 3 files | |
| 0.1.0.1 | 2019-05-07 11:47 UTC | EK | +1/−40 lines, 2 files | |
| 0.1.0.0 | 2019-05-07 11:39 UTC | EK | +261689/−0 lines, 270 filesdep +Cabaldep +QuickCheckdep +attoparsecsetup-changed |
Dependencies of tptp-0.1.3.0
Cabal >=1.16.0 3.16.0.0 → 3.16.1.0
| 2026-01-01 12:36 UTC | 3.16.1.0 | +36/−5 lines, 3 filesdep ~Cabal-syntaxdep ~containersdep ~timePVP: major bump suggested |
| 2025-07-23 18:35 UTC | 3.16.0.0 | +1248/−1125 lines, 85 filesdep +githashdep ~Cabal-syntaxdep ~containersdep ~deepseqPVP ok |
| 2025-04-08 07:47 UTC | 3.14.2.0 | +225/−150 lines, 39 filesdep ~Cabal-syntaxPVP ok |
| 2025-01-02 19:54 UTC | 3.14.1.1 | +48/−81 lines, 34 filesdep ~unixPVP: major bump suggested |
| 2024-12-16 23:08 UTC | 3.14.1.0 | +30/−7 lines, 6 filesPVP ok |
showing 5 of 82 versions
QuickCheck >=2.4 && <3.0 2.17.1.0 → 2.18.0.0
| 2026-02-26 12:42 UTC | 2.18.0.0 | +826/−542 lines, 23 filesPVP ok |
| 2025-10-13 12:40 UTC | 2.17.1.0 | +18/−8 lines, 4 filesdep ~randomPVP: major bump suggested |
| 2025-10-07 12:26 UTC | 2.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 UTC | 2.16.0.0 | +477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok |
| 2024-05-27 14:54 UTC | 2.15.0.1 | +15/−6 lines, 4 filesdep ~randomPVP ok |
showing 5 of 65 versions
attoparsec >=0.13.2 && <0.14 0.13.2.5 → 0.14.4 newer than bounds
| 2022-01-10 18:41 UTC | 0.14.4 newer than bounds | +736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok |
| 2021-12-09 02:44 UTC | 0.14.3 newer than bounds | +107/−39 lines, 5 filesPVP ok |
| 2021-10-30 15:07 UTC | 0.14.2 newer than bounds | +10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok |
| 2021-03-22 21:21 UTC | 0.14.1 newer than bounds | +172/−34 lines, 10 filesPVP ok |
| 2021-02-10 01:00 UTC | 0.13.2.5 | +53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested |
showing 5 of 61 versions
base >=4.7 && <5.0 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
bifunctors >=3.0.1 && <6 5.6.2 → 5.6.3
| 2026-01-04 01:36 UTC | 5.6.3 | +15/−13 lines, 2 filesdep −transformersdep ~template-haskelldep ~transformers-compatPVP: major bump suggested |
| 2024-03-19 10:13 UTC | 5.6.2 | +19/−15 lines, 4 filesdep ~containersdep ~template-haskellPVP: major bump suggested |
| 2023-03-13 18:31 UTC | 5.6.1 | +45/−4 lines, 7 filesdep +assocdep ~containersdep ~template-haskelldep ~th-abstractionPVP ok |
| 2023-03-12 18:44 UTC | 5.6 | +238/−2040 lines, 22 filesdep +bifunctor-classes-compatdep +foldable1-classes-compatdep −base-orphansdep −faildep −ghc-primdep ~basedep ~containersdep ~template-haskellPVP ok |
| 2023-02-27 12:31 UTC | 5.5.15 | +6057/−6041 lines, 27 filesdep ~template-haskelldep ~th-abstractionsetup-changedPVP ok |
showing 5 of 52 versions
directory >=1.2.5 && <1.4 1.3.10.1 → 1.3.11.0
| 2026-05-27 05:59 UTC | 1.3.11.0 | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
doctest >=0 0.24.3 → 0.25.0
| 2026-05-03 17:07 UTC | 0.25.0 | +55/−31 lines, 7 filesPVP ok |
| 2026-01-02 08:10 UTC | 0.24.3 | +25/−11 lines, 5 filesdep ~ghcPVP ok |
| 2025-06-24 14:52 UTC | 0.24.2 | +17/−77 lines, 10 filesdep ~basedep ~ghcPVP ok |
| 2025-06-24 02:07 UTC | 0.24.1 | +34/−11 lines, 4 filesPVP ok |
| 2025-02-17 06:47 UTC | 0.24.0 | +18/−5 lines, 5 filesPVP ok |
showing 5 of 77 versions
extra >=1.4.4 && <1.7 1.6.21 → 1.8.1 newer than bounds
| 2025-11-23 14:32 UTC | 1.8.1 newer than bounds | +48/−4 lines, 6 filesPVP ok |
| 2024-10-19 13:35 UTC | 1.8 newer than bounds | +113/−18 lines, 9 filesdep ~basePVP ok |
| 2024-05-11 15:55 UTC | 1.7.16 newer than bounds | +4/−2 lines, 3 filesdep ~basePVP: major bump suggested |
| 2024-05-10 13:07 UTC | 1.7.15 newer than bounds | +21/−8 lines, 9 filesPVP ok |
| 2023-07-01 19:19 UTC | 1.7.14 newer than bounds | +10/−4 lines, 3 filesdep ~basePVP ok |
showing 5 of 74 versions
filepath >=1.3 && <1.5 1.4.301.0 → 1.5.5.0 newer than bounds
| 2026-01-20 08:14 UTC | 1.5.5.0 newer than bounds | +68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok |
| 2024-11-17 13:06 UTC | 1.5.4.0 newer than bounds | +26/−6 lines, 3 filesdep ~basePVP ok |
| 2024-06-29 15:30 UTC | 1.5.3.0 newer than bounds | +876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested |
| 2024-01-26 07:02 UTC | 1.5.2.0 newer than bounds | +330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok |
| 2023-11-25 08:29 UTC | 1.5.0.0 newer than bounds | +53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok |
showing 5 of 35 versions
generic-random >=1.2.0.0 && <1.3 1.2.0.0 → 1.5.0.1 newer than bounds
| 2021-11-23 00:37 UTC | 1.5.0.1 newer than bounds | +16/−6 lines, 3 filesdep ~basePVP: major bump suggested |
| 2021-07-11 00:25 UTC | 1.5.0.0 newer than bounds | +436/−11 lines, 7 filesdep ~QuickCheckdep ~basePVP ok |
| 2021-05-16 14:44 UTC | 1.4.0.0 newer than bounds | +498/−158 lines, 9 filesdep +randomdep ~basePVP ok |
| 2020-03-24 02:49 UTC | 1.3.0.1 newer than bounds | +106/−20 lines, 6 filesdep +inspection-testingdep ~basePVP ok |
| 2019-09-07 21:28 UTC | 1.3.0.0 newer than bounds | +430/−144 lines, 8 filesPVP ok |
showing 5 of 17 versions
prettyprinter >=1.2.1 && <1.5 1.4.0 → 1.7.2 newer than bounds
| 2026-04-28 13:43 UTC | 1.7.2 newer than bounds | +240/−167 lines, 17 filesdep +tasty-benchdep −faildep −gaugedep −transformersdep ~QuickCheckdep ~basedep ~base-compat |
| 2021-09-11 09:06 UTC | 1.7.1 newer than bounds | +197/−164 lines, 31 filesdep ~bytestring |
| 2020-07-31 13:28 UTC | 1.7.0 newer than bounds | +4220/−3960 lines, 32 filesdep ~semigroups |
| 2020-06-20 22:40 UTC | 1.6.2 newer than bounds | +176/−87 lines, 6 files |
| 2020-02-10 18:33 UTC | 1.6.1 newer than bounds | +373/−145 lines, 13 files |
showing 5 of 20 versions
scientific >=0.3.1 && <0.4 0.3.8.0 → 0.3.8.1
| 2026-01-05 13:02 UTC | 0.3.8.1 | +35/−39 lines, 4 filesdep ~basedep ~containersdep ~template-haskell |
| 2024-05-14 10:23 UTC | 0.3.8.0 | +23/−101 lines, 6 filesdep −bytestring-builderdep ~basedep ~binarydep ~bytestring |
| 2021-05-20 18:39 UTC | 0.3.7.0 | +258/−126 lines, 9 filesdep +invalid-cabal-flag-settingsdep +template-haskelldep −tasty-ant-xmldep ~QuickCheckdep ~basedep ~binarynew-uploader |
| 2018-05-07 23:42 UTC | 0.3.6.2 | +80/−9 lines, 4 files |
| 2018-05-07 07:04 UTC | 0.3.6.1 | +8/−1 lines, 3 filesdep ~base |
showing 5 of 50 versions
semigroups >=0.16.1 && <1.0 0.20 → 0.20.1
| 2026-01-10 20:32 UTC | 0.20.1 | +29/−2103 lines, 6 filesdep −binarydep −bytestringdep −bytestring-builderdep ~base |
| 2021-11-16 00:07 UTC | 0.20 | +9/−27 lines, 3 filesdep ~hashable |
| 2021-08-30 11:23 UTC | 0.19.2 | +45/−203 lines, 6 filesdep ~hashable |
| 2019-08-27 13:06 UTC | 0.19.1 | +100/−60 lines, 5 filesdep ~hashabledep ~transformers |
| 2019-05-10 13:57 UTC | 0.19 | +217/−167 lines, 5 filesdep +template-haskelldep ~hashable |
showing 5 of 65 versions
text >=1.2.3 && <1.3 1.2.5.0 → 2.1.4 newer than bounds
| 2026-01-28 08:30 UTC | 2.1.4 newer than bounds | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell |
| 2025-08-01 20:08 UTC | 2.1.3 newer than bounds | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2024-10-26 13:22 UTC | 2.1.2 newer than bounds | +43588/−15378 lines, 41 filesdep ~basedep ~binary |
| 2024-02-16 22:16 UTC | 2.1.1 newer than bounds | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2023-08-26 18:49 UTC | 2.1 newer than bounds | +448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader |
showing 5 of 82 versions
Reverse dependencies
1 packages depend on tptp