packages feed

uAgda

view on Hackage

versionuploadeduploaderchanges
1.2.0.42012-03-10 08:41 UTCJeanPhilippeBernardy+202/−1 lines, 2 files
1.2.0.32012-03-10 08:38 UTCJeanPhilippeBernardy+101/−1 lines, 2 files
1.2.0.22012-03-09 08:14 UTCJeanPhilippeBernardy+6/−11 lines, 3 filesdep ~BNFC-metadep ~pretty
1.2.0.12012-01-06 13:05 UTCJeanPhilippeBernardy+42/−26 lines, 4 files
1.2.0.02012-01-05 10:38 UTCJeanPhilippeBernardy+664/−680 lines, 15 filesdep +arraydep +mtldep +splitdep −monads-fddep ~BNFC-metadep ~containers
1.1.0.02011-02-14 19:08 UTCJeanPhilippeBernardy+326/−283 lines, 14 files
1.0.0.22010-12-03 10:15 UTCJeanPhilippeBernardy+93/−2 lines, 4 files
1.0.0.12010-12-02 15:11 UTCJeanPhilippeBernardy+4/−3 lines, 1 files
1.0.0.02010-12-02 15:06 UTCJeanPhilippeBernardy+1732/−0 lines, 17 filesdep +BNFC-metadep +basedep +cmdargssetup-changed

Dependencies of uAgda-1.2.0.4

BNFC-meta >=0.2 && <0.3 0.2.2 → 0.6.1 newer than bounds
2020-02-09 23:44 UTC0.6.1 newer than bounds+12/−9 lines, 2 filesdep +faildep ~template-haskellnew-uploader
2017-11-24 20:46 UTC0.6 newer than bounds+32/−21 lines, 6 filesdep ~template-haskell
2017-11-23 09:11 UTC0.5 newer than bounds+22/−11 lines, 8 filesdep ~template-haskellPVP ok
2015-06-09 09:53 UTC0.4.0.3 newer than bounds+12/−31 lines, 3 filesdep ~template-haskell
2014-08-12 09:06 UTC0.4.0.2 newer than bounds+4/−4 lines, 1 filesdep ~arraydep ~template-haskell

showing 5 of 22 versions

array >=0.3 && <0.4 0.3.0.3 → 0.5.8.0 newer than bounds
2024-09-08 07:13 UTC0.5.8.0 newer than bounds+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0 newer than bounds+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0 newer than bounds+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0 newer than bounds+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0 newer than bounds+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 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

cmdargs >=0.6 && <0.7 0.6.10 → 0.10.22 newer than bounds
2023-03-13 11:19 UTC0.10.22 newer than bounds+22/−20 lines, 9 filesdep ~basesetup-changedPVP: major bump suggested
2021-02-14 10:26 UTC0.10.21 newer than bounds+131/−129 lines, 18 filesPVP: major bump suggested
2018-01-22 18:47 UTC0.10.20 newer than bounds+9/−30 lines, 3 filesPVP: major bump suggested
2018-01-01 22:21 UTC0.10.19 newer than bounds+62/−63 lines, 7 filesdep +semigroupsPVP ok
2017-09-24 22:00 UTC0.10.18 newer than bounds+180/−169 lines, 4 filesdep ~basePVP: major bump suggested

showing 5 of 49 versions

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

showing 5 of 42 versions

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

showing 5 of 20 versions

parsec >=2.1 && <2.2 2.1.0.1 → 3.1.18.0 newer than bounds
2025-01-05 00:08 UTC3.1.18.0 newer than bounds+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl
2023-10-04 06:08 UTC3.1.17.0 newer than bounds+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1 newer than bounds+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0 newer than bounds+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1 newer than bounds+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

showing 5 of 27 versions

pretty >=1.1 && <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

split >=0.1 && <0.2 0.1.4.3 → 0.2.5 newer than bounds
2024-01-11 16:34 UTC0.2.5 newer than bounds+25/−2 lines, 4 files
2023-10-09 18:34 UTC0.2.4 newer than bounds+614/−514 lines, 7 filesdep ~QuickCheck
2022-08-11 16:02 UTC0.2.3.5 newer than bounds+30/−5 lines, 4 filesdep ~base
2020-02-22 21:57 UTC0.2.3.4 newer than bounds+15/−3 lines, 2 filesdep ~base
2018-01-24 03:00 UTC0.2.3.3 newer than bounds+7/−3 lines, 2 filesdep ~base

showing 5 of 25 versions

transformers >=0.2 && <0.3 0.2.2.1 → 0.6.3.0 newer than bounds
2026-01-12 12:42 UTC0.6.3.0 newer than bounds+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0 newer than bounds+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2 newer than bounds+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1 newer than bounds+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0 newer than bounds+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

1 packages depend on uAgda

acme-everything 2018.11.18 requires uAgda >=0