scyther-proof
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.10.0.1 | 2015-06-21 10:06 UTC | SimonMeier | +361/−924 lines, 24 filesdep ~filepathdep ~jsondep ~time | |
| 0.10.0.0 | 2015-02-23 18:46 UTC | SimonMeier | +6828/−5465 lines, 56 filesdep +utf8-stringdep ~arraydep ~containersdep ~process | |
| 0.8.0.0 | 2014-02-04 16:24 UTC | lochbihl | +2394/−387 lines, 16 filesdep ~cmdargsdep ~mtlnew-uploader | |
| 0.6.0.0 | 2013-03-04 09:17 UTC | SimonMeier | +20327/−18884 lines, 45 files | |
| 0.5.0.0 | 2012-06-29 10:24 UTC | SimonMeier | +1234/−969 lines, 21 files | |
| 0.4.1.0 | 2012-05-14 07:42 UTC | SimonMeier | +8/−11 lines, 3 filesdep ~pretty | |
| 0.4.0 | 2012-05-11 17:43 UTC | SimonMeier | +1188/−1747 lines, 22 filesdep ~arraydep ~containersdep ~directory | |
| 0.3.1 | 2011-10-18 14:08 UTC | SimonMeier | +1573/−1564 lines, 36 files | |
| 0.3.0 | 2011-05-13 18:37 UTC | SimonMeier | +63849/−0 lines, 144 filesdep +arraydep +basedep +cmdargssetup-changedbinary-added |
Dependencies of scyther-proof-0.10.0.1
array >=0.3 && <0.6 0.5.7.0 → 0.5.8.0
| 2024-09-08 07:13 UTC | 0.5.8.0 | +204/−8 lines, 6 filesdep ~basePVP ok |
| 2024-04-12 14:38 UTC | 0.5.7.0 | +34/−17 lines, 9 filesdep ~basePVP: major bump suggested |
| 2023-07-10 15:24 UTC | 0.5.6.0 | +159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok |
| 2023-02-13 16:01 UTC | 0.5.5.0 | +8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok |
| 2019-09-01 06:48 UTC | 0.5.4.0 | +33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested |
showing 5 of 18 versions
base >=4 && <5 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
cmdargs >=0.10.7 0.10.21 → 0.10.22
| 2023-03-13 11:19 UTC | 0.10.22 | +22/−20 lines, 9 filesdep ~basesetup-changedPVP: major bump suggested |
| 2021-02-14 10:26 UTC | 0.10.21 | +131/−129 lines, 18 filesPVP: major bump suggested |
| 2018-01-22 18:47 UTC | 0.10.20 | +9/−30 lines, 3 filesPVP: major bump suggested |
| 2018-01-01 22:21 UTC | 0.10.19 | +62/−63 lines, 7 filesdep +semigroupsPVP ok |
| 2017-09-24 22:00 UTC | 0.10.18 | +180/−169 lines, 4 filesdep ~basePVP: major bump suggested |
showing 5 of 49 versions
containers >=0.4.2 && <0.6 0.5.11.0 → 0.8 newer than bounds
| 2025-03-01 13:03 UTC | 0.8 newer than bounds | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 newer than bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 newer than bounds | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 newer than bounds | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 newer than bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
directory >=1.0 && <1.3 1.2.7.1 → 1.3.11.0 newer than bounds
| 2026-05-27 05:59 UTC | 1.3.11.0 newer than bounds | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 newer than bounds | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 newer than bounds | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 newer than bounds | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 newer than bounds | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
filepath >=1.2 && <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
json >=0.5 && <0.10 0.9.3 → 0.11 newer than bounds
| 2023-07-17 15:50 UTC | 0.11 newer than bounds | +40/−59 lines, 6 filesnew-uploader |
| 2020-01-14 23:01 UTC | 0.10 newer than bounds | +12/−3 lines, 4 filesdep ~base |
| 2018-12-20 18:03 UTC | 0.9.3 | +43/−114 lines, 8 files |
| 2018-03-17 19:50 UTC | 0.9.2 | +4/−3 lines, 2 filesdep ~base |
| 2015-03-14 00:33 UTC | 0.9.1 | +5/−4 lines, 3 filesdep ~base |
showing 5 of 16 versions
mtl >=2.1 && <3.0 2.3.1 → 2.3.2
| 2025-12-08 04:58 UTC | 2.3.2 | +112/−21 lines, 12 filesdep ~basenew-uploader |
| 2022-10-31 21:28 UTC | 2.3.1 | +188/−33 lines, 8 filesdep ~base |
| 2022-05-07 20:34 UTC | 2.3 | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~base |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
parsec >=3.1 && <3.2 3.1.17.0 → 3.1.18.0
| 2025-01-05 00:08 UTC | 3.1.18.0 | +159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl |
| 2023-10-04 06:08 UTC | 3.1.17.0 | +112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty |
| 2023-01-08 20:47 UTC | 3.1.16.1 | +6/−2 lines, 3 files |
| 2023-01-08 18:03 UTC | 3.1.16.0 | +124/−19 lines, 8 filesdep ~base |
| 2022-05-10 10:14 UTC | 3.1.15.1 | +19/−15 lines, 9 filesdep ~basedep ~mtldep ~text |
showing 5 of 27 versions
pretty >=1.0 && <1.2 1.1.3.5 → 1.1.3.6
| 2018-01-29 04:01 UTC | 1.1.3.6 | +101/−5 lines, 7 filesdep +criteriondep +prettydep ~base |
| 2017-02-03 23:16 UTC | 1.1.3.5 | +8/−3 lines, 3 files |
| 2016-06-03 18:38 UTC | 1.1.3.4 | +26/−4 lines, 6 files |
| 2016-02-29 19:00 UTC | 1.1.3.3 | +165/−109 lines, 7 files |
| 2015-03-19 09:15 UTC | 1.1.3.2 | +27/−25 lines, 6 files |
showing 5 of 17 versions
process >=1.1 && <1.3 1.2.3.0 → 1.6.30.0 newer than bounds
| 2026-06-11 10:14 UTC | 1.6.30.0 newer than bounds | +19/−1 lines, 2 files |
| 2026-05-24 11:03 UTC | 1.6.29.0 newer than bounds | +5282/−4831 lines, 7 filesdep ~base |
| 2026-04-18 12:18 UTC | 1.6.28.0 newer than bounds | +70/−33 lines, 3 files |
| 2026-03-08 19:39 UTC | 1.6.27.0 newer than bounds | +3/−2 lines, 2 files |
| 2026-03-07 13:46 UTC | 1.6.26.2 newer than bounds | +4852/−5346 lines, 7 files |
showing 5 of 57 versions
safe >=0.2 && <0.4 0.3.20 → 0.3.21
| 2024-01-18 16:51 UTC | 0.3.21 | +5/−3 lines, 3 filesdep ~base |
| 2024-01-14 10:19 UTC | 0.3.20 | +40/−13 lines, 6 files |
| 2020-05-24 20:21 UTC | 0.3.19 | +37/−30 lines, 5 files |
| 2019-12-04 10:51 UTC | 0.3.18 | +136/−55 lines, 7 filesdep ~base |
| 2018-03-09 17:20 UTC | 0.3.17 | +81/−62 lines, 6 files |
showing 5 of 23 versions
tagsoup >=0.12 && <0.14 0.13.10 → 0.14.8 newer than bounds
| 2019-05-01 19:45 UTC | 0.14.8 newer than bounds | +17/−36 lines, 6 files |
| 2018-09-18 14:53 UTC | 0.14.7 newer than bounds | +18/−17 lines, 5 files |
| 2018-02-27 17:11 UTC | 0.14.6 newer than bounds | +5/−2 lines, 4 files |
| 2018-02-27 11:38 UTC | 0.14.5 newer than bounds | +5/−2 lines, 4 files |
| 2018-02-26 13:00 UTC | 0.14.4 newer than bounds | +6/−3 lines, 4 files |
showing 5 of 38 versions
time >=1.1 && <1.6 1.5.0.1 → 1.16 newer than bounds
| 2026-05-03 08:43 UTC | 1.16 newer than bounds | +353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell |
| 2025-08-04 16:22 UTC | 1.15 newer than bounds | +1407/−743 lines, 56 filesdep ~basedep ~deepseqdep ~template-haskell |
| 2024-03-10 22:18 UTC | 1.14 newer than bounds | +6594/−5536 lines, 73 filesdep +template-haskelldep ~base |
| 2021-10-18 05:36 UTC | 1.13 newer than bounds | +1279/−1589 lines, 59 filesdep ~base |
| 2022-05-14 00:07 UTC | 1.12.2 newer than bounds | +1526/−1266 lines, 57 filesdep ~base |
showing 5 of 47 versions
uniplate >=1.6 && <1.7 1.6.12 → 1.6.13
| 2020-11-07 19:53 UTC | 1.6.13 | +369/−548 lines, 23 filesdep +ghc-primdep ~base |
| 2013-10-26 21:17 UTC | 1.6.12 | +4/−5 lines, 2 filesdep ~hashabledep ~unordered-containers |
| 2013-08-14 15:35 UTC | 1.6.11 | +4/−4 lines, 3 files |
| 2012-12-14 08:53 UTC | 1.6.10 | +3/−4 lines, 3 filesdep ~hashable |
| 2012-12-08 19:45 UTC | 1.6.9 | +52/−128 lines, 11 files |
showing 5 of 24 versions
utf8-string >=0.3.7 1.0.1.1 → 1.0.2
| 2021-01-03 18:33 UTC | 1.0.2 | +286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base |
| 2015-08-23 16:19 UTC | 1.0.1.1 | +12/−2 lines, 3 filesdep ~base |
| 2015-08-21 22:38 UTC | 1.0.1 | +71/−3 lines, 3 filesdep ~base |
| 2015-01-23 01:51 UTC | 1 | +17/−194 lines, 5 filesdep ~base |
| 2014-05-19 08:05 UTC | 0.3.8 | +50/−7 lines, 9 filesdep ~base |
showing 5 of 16 versions
Reverse dependencies
1 packages depend on scyther-proof