agda2hs
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 1.4 | 2025-09-09 09:47 UTC | jcockx | +6859/−6135 lines, 210 filesdep ~Agdadep ~basedep ~containers | |
| 1.3 | 2024-10-04 12:13 UTC | jcockx | +7324/−970 lines, 111 filesdep +monad-controldep +transformersdep ~Agdadep ~aesondep ~base | |
| 1.2 | 2023-12-11 15:09 UTC | jcockx | +491/−5534 lines, 27 filesdep +aesondep +yamldep −processdep −yaml-lightdep ~basedep ~bytestringdep ~containers | |
| 1.1 | 2023-10-23 09:28 UTC | jcockx | +5758/−167 lines, 32 filesdep +bytestringdep +processdep +yaml-lightdep ~Agdadep ~deepseqdep ~mtlnew-component:exe:agda2hs-mode | |
| 1.0 | 2023-04-07 10:07 UTC | jcockx | +2759/−0 lines, 22 filesdep +Agdadep +basedep +containers |
Dependencies of agda2hs-1.4
Agda >=2.8.0 && <2.9.0 2.7.0.1 → 2.8.0
| 2025-07-05 20:33 UTC | 2.8.0 | +18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok |
| 2024-09-12 18:40 UTC | 2.7.0.1 outside bounds | +297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested |
| 2024-08-16 12:31 UTC | 2.7.0 outside bounds | +9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok |
| 2024-03-06 10:35 UTC | 2.6.4.3 outside bounds | +76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok |
| 2024-02-24 09:38 UTC | 2.6.4.2 outside bounds | — |
showing 5 of 46 versions
aeson >=2.0.3 && <2.3 2.2.5.0 → 2.3.1.0 newer than bounds
| 2026-07-05 10:37 UTC | 2.3.1.0 newer than bounds | +101/−42 lines, 17 filesdep ~text-iso8601PVP ok |
| 2026-05-21 08:35 UTC | 2.3.0.0 newer than bounds | +54/−41 lines, 17 filesdep ~nothunksdep ~text-iso8601new-uploaderPVP ok |
| 2026-05-12 15:10 UTC | 2.2.5.0 | +13/−3 lines, 3 filesdep ~semialignPVP ok |
| 2026-04-16 20:18 UTC | 2.2.4.1 | +17/−14 lines, 2 filesdep −ghc-primdep ~containersdep ~deepseqdep ~primitivePVP ok |
| 2026-04-15 20:41 UTC | 2.2.4.0 | +67/−21 lines, 11 filesdep ~QuickCheckdep ~quickcheck-instancesPVP: major bump suggested |
showing 5 of 103 versions
base >=4.13 && <4.22 4.21.2.0 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +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
bytestring >=0.11.5 && <0.13 0.12.1.0 → 0.12.2.0
| 2024-12-06 21:41 UTC | 0.12.2.0 | +538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok |
| 2024-02-16 03:27 UTC | 0.12.1.0 | +3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested |
| 2023-08-16 01:53 UTC | 0.12.0.2 | +16/−2 lines, 3 files |
| 2023-08-05 00:03 UTC | 0.12.0.1 | +47/−9 lines, 3 files |
| 2023-07-07 01:45 UTC | 0.12.0.0 | +1459/−520 lines, 21 filesdep +data-array-bytePVP ok |
showing 5 of 49 versions
containers >=0.6 && <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 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
deepseq >=1.4.4 && <1.6 1.5.2.0 → 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 | +13/−4 lines, 3 filesPVP: major bump suggested |
| 2024-09-09 12:48 UTC | 1.5.1.0 | +69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested |
| 2023-07-27 19:32 UTC | 1.5.0.0 | +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.2.6.2 && <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
filepath >=1.4.1.0 && <1.6 1.5.4.0 → 1.5.5.0
| 2026-01-20 08:14 UTC | 1.5.5.0 | +68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok |
| 2024-11-17 13:06 UTC | 1.5.4.0 | +26/−6 lines, 3 filesdep ~basePVP ok |
| 2024-06-29 15:30 UTC | 1.5.3.0 | +876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested |
| 2024-01-26 07:02 UTC | 1.5.2.0 | +330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok |
| 2023-11-25 08:29 UTC | 1.5.0.0 | +53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok |
showing 5 of 35 versions
haskell-src-exts >=1.23 && <1.25 1.23.1 → 1.24.0
| 2026-07-04 05:40 UTC | 1.24.0 | +1040/−69 lines, 33 filesdep ~arraydep ~ghc-primdep ~prettyPVP ok |
| 2020-06-02 02:38 UTC | 1.23.1 | +16/−8 lines, 7 filesdep ~basePVP ok |
| 2020-01-03 21:30 UTC | 1.23.0 | +1756/−13 lines, 20 filesPVP ok |
| 2019-11-01 02:20 UTC | 1.22.0 outside bounds | +34529/−31943 lines, 66 filesPVP ok |
| 2019-09-03 18:17 UTC | 1.21.1 outside bounds | +35/−440 lines, 10 filesdep ~basenew-uploaderPVP: major bump suggested |
showing 5 of 91 versions
monad-control >=1.0 && <1.1 1.0.3 → 1.0.3.1
| 2021-08-02 10:16 UTC | 1.0.3.1 | +25/−13 lines, 3 filesdep ~transformers |
| 2021-07-26 20:03 UTC | 1.0.3 | +6/−2 lines, 2 filesdep ~base |
| 2021-07-26 19:56 UTC | 1.0.2.4 | +912/−894 lines, 5 filesdep ~basedep ~transformers-compatsetup-changednew-uploader |
| 2018-02-26 08:14 UTC | 1.0.2.3 | +10/−3 lines, 3 filesdep ~transformers-compat |
| 2017-08-06 15:12 UTC | 1.0.2.2 | +201/−29 lines, 4 files |
showing 5 of 32 versions
mtl >=2.2 && <2.3 || >=2.3.1 && <2.4 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 outside bounds | +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
syb >=0.7.2 && <0.8 0.7.3 → 0.7.4
| 2026-03-07 17:18 UTC | 0.7.4 | +27/−18 lines, 4 files |
| 2025-08-21 20:31 UTC | 0.7.3 | +176/−154 lines, 13 filesdep ~base |
| 2023-07-30 17:25 UTC | 0.7.2.4 | +434/−64 lines, 7 files |
| 2023-03-18 23:19 UTC | 0.7.2.3 | +50/−36 lines, 4 filesdep ~mtl |
| 2022-09-17 15:09 UTC | 0.7.2.2 | +108/−79 lines, 36 files |
showing 5 of 33 versions
text >=2.0.2 && <2.2 2.1.3 → 2.1.4
| 2026-01-28 08:30 UTC | 2.1.4 | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell |
| 2025-08-01 20:08 UTC | 2.1.3 | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2024-10-26 13:22 UTC | 2.1.2 | +43588/−15378 lines, 41 filesdep ~basedep ~binary |
| 2024-02-16 22:16 UTC | 2.1.1 | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2023-08-26 18:49 UTC | 2.1 | +448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader |
showing 5 of 82 versions
transformers >=0.6 && <0.7 0.6.2.0 → 0.6.3.0
| 2026-01-12 12:42 UTC | 0.6.3.0 | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 | +64/−4 lines, 8 files |
showing 5 of 42 versions
unordered-containers >=0.2.19 && <0.3 0.2.20.1 → 0.2.21
| 2025-12-13 23:09 UTC | 0.2.21 | +3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq |
| 2025-10-02 07:28 UTC | 0.2.20.1 | +106/−52 lines, 12 files |
| 2024-01-09 06:48 UTC | 0.2.20 | +1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell |
| 2022-04-24 15:48 UTC | 0.2.19.1 | +88/−14 lines, 4 filesdep ~basedep ~template-haskell |
| 2022-04-16 13:01 UTC | 0.2.19.0 | +330/−186 lines, 12 filesdep ~base |
showing 5 of 43 versions
yaml >=0.11 && <0.12 0.11.11.1 → 0.11.11.2
| 2023-07-01 18:43 UTC | 0.11.11.2 | +15/−2 lines, 4 filesdep ~aeson |
| 2023-06-14 12:46 UTC | 0.11.11.1 | +10/−6 lines, 4 filesdep ~optparse-applicative |
| 2023-02-24 05:17 UTC | 0.11.11.0 | +12/−4 lines, 3 files |
| 2023-02-07 04:04 UTC | 0.11.10.0 | +19/−22 lines, 3 files |
| 2023-02-06 17:10 UTC | 0.11.9.0 | +35/−24 lines, 3 files |
showing 5 of 125 versions
Reverse dependencies
no known reverse dependencies