packages feed

agda2train

view on Hackage

versionuploadeduploaderchanges
0.0.3.02023-10-17 20:29 UTComelkonian+66/−52 lines, 3 filesdep +agda2trainPVP: major bump suggested
0.0.2.02023-10-17 19:52 UTComelkonian+32/−4 lines, 2 files
0.0.1.02023-10-17 18:30 UTComelkonian+1035/−0 lines, 8 filesdep +Agdadep +aesondep +aeson-pretty

Dependencies of agda2train-0.0.3.0

Agda >=2.6.3 && <2.6.4 2.6.3.1 → 2.8.0 newer than bounds
2025-07-05 20:33 UTC2.8.0 newer than bounds+18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok
2024-09-12 18:40 UTC2.7.0.1 newer than bounds+297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested
2024-08-16 12:31 UTC2.7.0 newer than bounds+9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok
2024-03-06 10:35 UTC2.6.4.3 newer than bounds+76/−50 lines, 10 filesdep ~basedep ~containersdep ~filepathPVP ok
2024-02-24 09:38 UTC2.6.4.2 newer than bounds—

showing 5 of 46 versions

aeson >=2.0 && <2.3 2.2.5.0 → 2.3.1.0 newer than bounds
2026-07-05 10:37 UTC2.3.1.0 newer than bounds+101/−42 lines, 17 filesdep ~text-iso8601PVP ok
2026-05-21 08:35 UTC2.3.0.0 newer than bounds+54/−41 lines, 17 filesdep ~nothunksdep ~text-iso8601new-uploaderPVP ok
2026-05-12 15:10 UTC2.2.5.0+13/−3 lines, 3 filesdep ~semialignPVP ok
2026-04-16 20:18 UTC2.2.4.1+17/−14 lines, 2 filesdep −ghc-primdep ~containersdep ~deepseqdep ~primitivePVP ok
2026-04-15 20:41 UTC2.2.4.0+67/−21 lines, 11 filesdep ~QuickCheckdep ~quickcheck-instancesPVP: major bump suggested

showing 5 of 103 versions

aeson-pretty ==0.8.10 0.8.10 → 0.8.11 newer than bounds
2026-06-21 19:18 UTC0.8.11 newer than bounds+29/−22 lines, 4 filesdep −semigroupsdep ~aesondep ~basePVP ok
2023-07-01 07:33 UTC0.8.10+22/−10 lines, 5 filesdep +attoparsec-aesondep ~aesonPVP ok
2021-10-23 18:55 UTC0.8.9 outside bounds+26/−9 lines, 3 filesdep ~aesondep ~unordered-containersnew-uploaderPVP ok
2019-09-27 19:29 UTC0.8.8 outside bounds+2/−2 lines, 1 filesdep ~base-compatPVP ok
2018-04-09 07:55 UTC0.8.7 outside bounds+7/−2 lines, 2 filesdep +semigroupsdep ~basePVP ok

showing 5 of 28 versions

async >=2.2 && <2.3 2.2.5 → 2.2.6
2026-01-07 11:26 UTC2.2.6+503/−61 lines, 7 filesdep +unordered-containersPVP: major bump suggested
2023-11-21 08:08 UTC2.2.5+1025/−797 lines, 5 filesdep ~basedep ~hashablePVP: major bump suggested
2021-10-04 12:00 UTC2.2.4+26/−8 lines, 3 filesdep ~basedep ~hashablePVP ok
2021-02-16 10:05 UTC2.2.3+160/−78 lines, 3 filesdep ~basePVP ok
2019-06-06 08:27 UTC2.2.2+48/−15 lines, 4 filesdep ~basedep ~hashablePVP: major bump suggested

showing 5 of 23 versions

base >=4.12.0.0 && <4.20 4.19.2.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 newer than bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 newer than bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 newer than bounds+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0 newer than bounds+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

bytestring >=0.10.8.1 && <0.13 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

containers >=0.5.11.0 && <0.8 0.7 → 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+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

deepseq >=1.4.2.0 && <1.6 1.5.2.0 → 1.6.0.0 newer than bounds
2024-09-08 16:18 UTC1.6.0.0 newer than bounds+5/−14 lines, 3 filesdep ~basePVP ok
2025-06-14 22:25 UTC1.5.2.0+13/−4 lines, 3 filesPVP: major bump suggested
2024-09-09 12:48 UTC1.5.1.0+69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested
2023-07-27 19:32 UTC1.5.0.0+619/−532 lines, 5 filesdep ~basePVP ok
2022-12-18 00:14 UTC1.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 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

file-embed ==0.0.15.0 0.0.15.0 → 0.0.16.0 newer than bounds
2024-01-28 06:59 UTC0.0.16.0 newer than bounds+13/−2 lines, 3 filesPVP ok
2021-08-29 13:08 UTC0.0.15.0+21/−6 lines, 3 filesPVP ok
2021-05-10 16:06 UTC0.0.14.0 outside bounds+44/−3 lines, 4 filesdep ~bytestringPVP ok
2020-07-06 04:43 UTC0.0.13.0 outside bounds+10/−4 lines, 4 filesPVP ok
2020-05-12 09:56 UTC0.0.12.0 outside bounds+19/−11 lines, 4 filesPVP ok

showing 5 of 34 versions

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

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

pretty >=1.1.3.3 && <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 outside bounds+27/−25 lines, 6 files

showing 5 of 17 versions

unordered-containers >=0.2.9.0 && <0.3 0.2.20.1 → 0.2.21
2025-12-13 23:09 UTC0.2.21+3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq
2025-10-02 07:28 UTC0.2.20.1+106/−52 lines, 12 files
2024-01-09 06:48 UTC0.2.20+1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell
2022-04-24 15:48 UTC0.2.19.1+88/−14 lines, 4 filesdep ~basedep ~template-haskell
2022-04-16 13:01 UTC0.2.19.0+330/−186 lines, 12 filesdep ~base

showing 5 of 43 versions

Reverse dependencies

no known reverse dependencies