cpsa
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 4.4.9 | 2026-05-24 16:08 UTC | pauldavidrowe | +6087/−555 lines, 165 filesdep ~basedep ~containersdep ~deepseq | |
| 4.4.8 | 2026-03-16 15:01 UTC | pauldavidrowe | +281/−35775 lines, 196 filesnew-uploader | |
| 4.4.7 | 2025-09-24 19:50 UTC | joshuaguttman | +74179/−34113 lines, 179 filesdep +deepseq | |
| 4.4.6 | 2025-05-05 14:46 UTC | joshuaguttman | +3664/−32449 lines, 117 filesdep ~basenew-component:exe:cpsa4dl | |
| 4.4.5 | 2024-07-17 20:40 UTC | joshuaguttman | +3058/−127762 lines, 324 filesdep ~base | |
| 4.4.4 | 2024-06-21 19:56 UTC | joshuaguttman | +187135/−75378 lines, 387 filesdep ~basenew-component:exe:cpsa4dbnew-component:exe:cpsa4dbprolognew-component:exe:cpsa4prolognew-uploader | |
| 4.4.3 | 2023-10-23 18:25 UTC | JohnRamsdell | +5636/−3987 lines, 205 filesdep ~basenew-component:exe:cpsa4debranchnew-component:exe:cpsa4query | |
| 4.4.2 | 2023-02-01 18:34 UTC | JohnRamsdell | +1747/−140 lines, 140 files | |
| 4.4.1 | 2022-12-19 22:17 UTC | JohnRamsdell | +551520/−286922 lines, 763 filesdep ~basenew-component:exe:cpsa4new-component:exe:cpsa42latexnew-component:exe:cpsa4coqnew-component:exe:cpsa4diffnew-component:exe:cpsa4goalsatnew-component:exe:cpsa4graphnew-component:exe:cpsa4initnew-component:exe:cpsa4jsonnew-component:exe:cpsa4ppnew-component:exe:cpsa4protnew-component:exe:cpsa4rolecoqnew-component:exe:cpsa4roletrannew-component:exe:cpsa4sasnew-component:exe:cpsa4shapesbinary-added | |
| 3.6.11 | 2022-06-16 01:23 UTC | JohnRamsdell | +109/−96 lines, 95 files | |
| 3.6.10 | 2022-03-20 23:50 UTC | JohnRamsdell | +198/−113 lines, 91 files | |
| 3.6.9 | 2022-01-04 14:49 UTC | JohnRamsdell | +32/−5 lines, 4 files | |
| 3.6.8 | 2021-11-12 20:32 UTC | JohnRamsdell | +190848/−19818 lines, 153 filesdep ~base | |
| 3.6.7 | 2021-06-10 14:19 UTC | mliskov | +608/−68 lines, 8 files | |
| 3.6.6 | 2020-05-27 18:10 UTC | mliskov | +12065/−8137 lines, 89 filesdep ~basenew-component:exe:cpsa2latexnew-component:exe:cpsagoalsatnew-component:exe:cpsaprot | |
| 3.6.5 | 2019-11-12 18:48 UTC | mliskov | +70/−58 lines, 55 files | |
| 3.6.4 | 2019-10-21 18:11 UTC | mliskov | +3246/−377 lines, 83 filesdep ~base | |
| 3.6.3 | 2019-08-26 19:16 UTC | mliskov | +470/−153 lines, 60 filesdep +directorydep ~basenew-component:exe:cpsainit | |
| 3.6.2 | 2019-03-26 17:37 UTC | mliskov | +1414/−142 lines, 99 files | |
| 3.6.1 | 2018-08-29 13:32 UTC | mliskov | +154/−74 lines, 50 files | |
| 3.6.0 | 2018-06-25 13:22 UTC | mliskov | +5410/−6909 lines, 87 files | |
| 3.5.1 | 2018-06-05 19:54 UTC | mliskov | +55/−16 lines, 3 files | |
| 3.5.0 | 2018-04-23 13:58 UTC | mliskov | +12498/−90500 lines, 96 filesbinary-added | |
| 3.4.1 | 2018-01-02 21:46 UTC | mliskov | +6948/−42 lines, 21 filesnew-component:exe:cpsadebase | |
| 3.4.0 | 2017-09-22 13:18 UTC | mliskov | +95514/−14627 lines, 153 filesnew-component:exe:cpsamatch | |
| 3.3.2 | 2016-06-24 19:13 UTC | mliskov | +140/−113 lines, 15 filesdep −array | |
| 3.3.1 | 2016-06-03 19:25 UTC | mliskov | +154/−125 lines, 13 filesbinary-added | |
| 3.3.0 | 2016-02-23 18:23 UTC | mliskov | +103060/−129002 lines, 347 filesnew-uploaderbinary-added | |
| 2.5.4 | 2016-01-12 16:06 UTC | JohnRamsdell | +87/−69 lines, 74 files | |
| 2.5.3 | 2015-08-24 11:43 UTC | JohnRamsdell | +184/−138 lines, 86 files | |
| 2.5.2 | 2015-07-27 14:57 UTC | JohnRamsdell | +141/−129 lines, 79 files | |
| 2.5.1 | 2015-07-08 12:05 UTC | JohnRamsdell | +2052/−1443 lines, 83 files | |
| 2.5.0 | 2015-05-21 19:55 UTC | JohnRamsdell | +5324/−958 lines, 108 filesbinary-added | |
| 2.4.0 | 2014-11-17 20:48 UTC | JohnRamsdell | +1168/−980 lines, 86 filesnew-component:exe:cpsasas | |
| 2.3.5 | 2014-09-05 18:22 UTC | JohnRamsdell | +573/−93 lines, 80 filesnew-component:exe:cpsajson | |
| 2.3.4 | 2014-06-06 17:54 UTC | JohnRamsdell | +2992/−5329 lines, 94 files | |
| 2.3.3 | 2014-02-06 18:36 UTC | JohnRamsdell | +53513/−22670 lines, 86 files | |
| 2.3.2 | 2014-01-07 22:00 UTC | JohnRamsdell | +129/−58 lines, 12 files | |
| 2.3.1 | 2013-10-22 16:56 UTC | JohnRamsdell | +23011/−41204 lines, 102 files | |
| 2.3.0 | 2013-07-24 14:24 UTC | JohnRamsdell | +516/−336 lines, 95 files | |
| 2.2.13 | 2013-02-28 15:13 UTC | JohnRamsdell | +215/−161 lines, 24 files | |
| 2.2.12 | 2012-11-09 14:48 UTC | JohnRamsdell | +1559/−170 lines, 33 filesbinary-added | |
| 2.2.11 | 2012-08-24 20:09 UTC | JohnRamsdell | +25783/−14263 lines, 89 files | |
| 2.2.10 | 2012-06-28 14:02 UTC | JohnRamsdell | +681/−107 lines, 89 files | |
| 2.2.9 | 2012-05-25 21:36 UTC | JohnRamsdell | +68088/−34373 lines, 103 filesdep +arraybinary-added | |
| 2.2.8 | 2012-02-27 12:30 UTC | JohnRamsdell | +1019/−315 lines, 82 files | |
| 2.2.7 | 2012-02-02 11:54 UTC | JohnRamsdell | +2016/−472 lines, 88 filesbinary-added | |
| 2.2.6 | 2011-12-09 18:10 UTC | JohnRamsdell | +2662/−1739 lines, 89 files | |
| 2.2.5 | 2011-08-16 17:24 UTC | JohnRamsdell | +17664/−403 lines, 86 files | |
| 2.2.4 | 2011-05-18 17:13 UTC | JohnRamsdell | +1207/−387 lines, 69 files | |
| 2.2.3 | 2011-05-04 17:13 UTC | JohnRamsdell | +16959/−14265 lines, 91 filesnew-component:exe:cpsalogic | |
| 2.2.2 | 2011-03-29 16:57 UTC | JohnRamsdell | +9378/−38252 lines, 85 files | |
| 2.2.1 | 2010-12-20 14:41 UTC | JohnRamsdell | +1169/−397 lines, 37 files | |
| 2.2.0 | 2010-12-01 20:04 UTC | JohnRamsdell | +50948/−81101 lines, 113 filesnew-component:exe:cpsadiff | |
| 2.1.2 | 2010-11-05 17:24 UTC | JohnRamsdell | +100740/−10341 lines, 101 files | |
| 2.1.1 | 2010-09-10 15:13 UTC | JohnRamsdell | +3600/−819 lines, 83 files | |
| 2.1.0 | 2010-07-29 13:26 UTC | JohnRamsdell | +6327/−5108 lines, 76 filesbinary-added | |
| 2.0.5 | 2010-06-18 15:31 UTC | JohnRamsdell | +6391/−21286 lines, 51 files | |
| 2.0.4 | 2010-04-28 18:48 UTC | JohnRamsdell | +259/−127 lines, 42 filesdep ~base | |
| 2.0.3 | 2010-03-31 13:27 UTC | JohnRamsdell | +611/−82 lines, 40 files | |
| 2.0.2 | 2010-03-15 12:41 UTC | JohnRamsdell | +5253/−4895 lines, 62 files | |
| 2.0.0 | 2010-03-04 20:46 UTC | JohnRamsdell | +56434/−0 lines, 152 filesdep +basedep +containersdep +parallelsetup-changedbinary-added |
Dependencies of cpsa-4.4.9
base >=4.13 && <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
containers >=0.8 && <0.9 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 outside bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 outside bounds | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 outside bounds | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 outside bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
deepseq >=1.4.8 && <1.5 1.4.8.1 → 1.6.0.0 newer than bounds
| 2024-09-08 16:18 UTC | 1.6.0.0 newer than bounds | +5/−14 lines, 3 filesdep ~basePVP ok |
| 2025-06-14 22:25 UTC | 1.5.2.0 newer than bounds | +13/−4 lines, 3 filesPVP: major bump suggested |
| 2024-09-09 12:48 UTC | 1.5.1.0 newer than bounds | +69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested |
| 2023-07-27 19:32 UTC | 1.5.0.0 newer than bounds | +619/−532 lines, 5 filesdep ~basePVP ok |
| 2022-12-18 00:14 UTC | 1.4.8.1 | +34/−9 lines, 3 filesdep ~basePVP: major bump suggested |
showing 5 of 26 versions
directory >=1.3.8 && <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
parallel >=3.3.0 && <3.4 3.2.2.0 → 3.3.0.0
| 2025-10-19 07:46 UTC | 3.3.0.0 | +238/−198 lines, 5 filesdep −ghc-primdep ~basenew-uploader |
| 2018-07-13 16:34 UTC | 3.2.2.0 outside bounds | +156/−57 lines, 3 filesdep +ghc-primdep ~basedep ~containersdep ~deepseq |
| 2017-04-08 16:27 UTC | 3.2.1.1 outside bounds | +16/−4 lines, 3 filesdep ~basedep ~deepseq |
| 2016-01-02 08:14 UTC | 3.2.1.0 outside bounds | +42/−18 lines, 4 filesdep ~base |
| 2014-12-28 10:14 UTC | 3.2.0.6 outside bounds | +18/−8 lines, 4 files |
showing 5 of 21 versions
Reverse dependencies
1 packages depend on cpsa