packages feed

MiniAgda

view on Hackage

versionuploadeduploaderchanges
0.2025.7.232025-07-23 12:49 UTCAndreasAbel+725/−732 lines, 321 filesdep +MiniAgdadep +optparse-applicativedep +string-qqdep ~basedep ~mtl
0.2022.3.112022-03-11 16:03 UTCAndreasAbel1 revisions+12900/−12089 lines, 382 filesdep +processdep +transformersdep ~basedep ~containersdep ~mtlsetup-changed
0.2020.4.142020-04-14 11:40 UTCAndreasAbel+2146/−2256 lines, 7 files
0.2019.12.132019-12-13 20:28 UTCAndreasAbel+4071/−5623 lines, 11 files
0.2019.3.292019-03-29 13:40 UTCAndreasAbel1 revisions+10/−6 lines, 3 filesdep ~containersdep ~haskell-src-exts
0.2018.11.62018-11-06 08:12 UTCAndreasAbel1 revisions+5/−2 lines, 3 files
0.2018.11.42018-11-04 09:58 UTCAndreasAbel1 revisions+3328/−991 lines, 22 filesdep ~basedep ~haskell-src-extsdep ~mtl
0.2017.2.182017-02-18 20:36 UTCAndreasAbel1 revisions+13/−5 lines, 2 filesdep ~base
0.2016.12.192016-12-20 19:43 UTCAndreasAbel+23956/−16429 lines, 64 filesdep ~basedep ~haskell-src-exts
0.2014.9.122014-09-12 15:17 UTCAndreasAbel+210/−198 lines, 15 filesdep −IfElsedep ~haskell-src-extsdep ~mtl
0.2014.5.52014-05-05 14:09 UTCAndreasAbel+137/−124 lines, 5 filesdep ~arraydep ~base
0.2014.1.92014-01-09 18:08 UTCAndreasAbel+32982/−0 lines, 466 filesdep +IfElsedep +arraydep +basesetup-changed

Dependencies of MiniAgda-0.2025.7.23

array >=0.3 && <0.6 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 versions

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

containers >=0.3 && <1 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

haskell-src-exts >=1.21 && <1.22 1.21.1 → 1.24.0 newer than bounds
2026-07-04 05:40 UTC1.24.0 newer than bounds+1040/−69 lines, 33 filesdep ~arraydep ~ghc-primdep ~prettyPVP ok
2020-06-02 02:38 UTC1.23.1 newer than bounds+16/−8 lines, 7 filesdep ~basePVP ok
2020-01-03 21:30 UTC1.23.0 newer than bounds+1756/−13 lines, 20 filesPVP ok
2019-11-01 02:20 UTC1.22.0 newer than bounds+34529/−31943 lines, 66 filesPVP ok
2019-09-03 18:17 UTC1.21.1+35/−440 lines, 10 filesdep ~basenew-uploaderPVP: major bump suggested

showing 5 of 91 versions

mtl >=2.2.1 && <2.4 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

optparse-applicative >=0.16.0.0 && <1 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

pretty >=1.0 && <1.2 1.1.3.5 → 1.1.3.6
2018-01-29 04:01 UTC1.1.3.6+101/−5 lines, 7 filesdep +criteriondep +prettydep ~base
2017-02-03 23:16 UTC1.1.3.5+8/−3 lines, 3 files
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 files
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 files
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 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

string-qq >=0 0.0.5 → 0.0.6
2024-02-02 11:56 UTC0.0.6+11/−4 lines, 1 files
2023-07-03 12:36 UTC0.0.5+8/−6 lines, 1 filesdep ~basedep ~template-haskelldep ~text
2019-09-24 03:49 UTC0.0.4+12/−12 lines, 2 filesdep +HUnitdep +string-qqdep +textsetup-changed
2011-06-25 20:18 UTC0.0.2+121/−0 lines, 5 filesdep +basedep +template-haskellbuild-type:Customsetup-changed
transformers >=0 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

1 packages depend on MiniAgda

acme-everything 2018.11.18 requires MiniAgda >=0