packages feed

agda2lagda

view on Hackage

versionuploadeduploaderchanges
0.2025.9.52025-09-05 08:56 UTCAndreasAbel+43/−23 lines, 10 filesdep ~base
0.2023.6.92023-06-09 16:48 UTCAndreasAbel+20/−33 lines, 7 filesdep ~optparse-applicative
0.2023.3.252023-03-25 18:21 UTCAndreasAbel1 revisions+119/−66 lines, 10 files
0.2023.1.122023-01-12 14:32 UTCAndreasAbel1 revisions+577/−279 lines, 15 files
0.2021.6.12021-06-01 06:39 UTCAndreasAbel1 revisions+282/−94 lines, 11 filesdep +processdep ~base
0.2020.11.12020-10-31 23:56 UTCAndreasAbel1 revisions+956/−0 lines, 13 filesdep +basedep +directorydep +filepathsetup-changed

Dependencies of agda2lagda-0.2025.9.5

base >=4.11 && <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

directory >=0 1.3.10.1 → 1.3.11.0
2026-05-27 05:59 UTC1.3.11.0+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

filepath >=0 1.5.4.0 → 1.5.5.0
2026-01-20 08:14 UTC1.5.5.0+68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok
2024-11-17 13:06 UTC1.5.4.0+26/−6 lines, 3 filesdep ~basePVP ok
2024-06-29 15:30 UTC1.5.3.0+876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested
2024-01-26 07:02 UTC1.5.2.0+330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok
2023-11-25 08:29 UTC1.5.0.0+53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok

showing 5 of 35 versions

optparse-applicative >=0.13 0.18.1.0 → 0.19.0.0
2025-06-03 08:53 UTC0.19.0.0+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

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

Reverse dependencies

no known reverse dependencies