packages feed

lean-peano

view on Hackage

versionuploadeduploaderchanges
1.0.2.02020-05-02 13:02 UTCoisdk+28/−29 lines, 3 filesPVP ok
1.0.1.02020-03-03 14:40 UTCoisdk+2/−6 lines, 2 filesPVP ok
1.0.0.02020-03-02 22:22 UTCoisdk+51/−49 lines, 2 filesdep ~basedep ~deepseqPVP ok
0.1.1.02020-02-26 14:08 UTCoisdk+3/−3 lines, 3 filesPVP ok
0.1.0.12020-02-22 01:00 UTCoisdk+47/−9 lines, 4 filesPVP: major bump suggested
0.1.0.02020-02-22 00:37 UTCoisdk+575/−0 lines, 9 filesdep +QuickCheckdep +basedep +base-compatbuild-type:Customsetup-changed

Dependencies of lean-peano-1.0.2.0

QuickCheck >=0 2.18.0.0 → 2.19.0.0
2026-09-16 11:18 UTC2.19.0.0+67/−41 lines, 10 filesdep +OneTuplePVP ok
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok

showing 5 of 66 versions

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

base-compat >=0 0.14.1 → 0.15.0
2026-01-11 03:01 UTC0.15.0+27/−8 lines, 4 filesdep −unixPVP ok
2024-12-06 12:21 UTC0.14.1+354/−1598 lines, 125 filesdep ~basePVP ok
2024-04-30 15:40 UTC0.14.0+144/−8 lines, 6 filesPVP ok
2023-10-11 11:37 UTC0.13.1+186/−4 lines, 9 filesPVP ok
2023-03-10 12:07 UTC0.13.0+475/−84 lines, 18 filesPVP ok

showing 5 of 42 versions

deepseq >=1.1.0.0 1.5.2.0 → 1.6.0.0
2024-09-08 16:18 UTC1.6.0.0+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

doctest >=0 0.25.0.1 → 0.25.0.2
2026-09-24 10:26 UTC0.25.0.2+7/−2 lines, 3 filesPVP ok
2026-09-24 08:42 UTC0.25.0.1+36/−4 lines, 6 filesPVP ok
2026-05-03 17:07 UTC0.25.0+55/−31 lines, 7 filesPVP ok
2026-01-02 08:10 UTC0.24.3+25/−11 lines, 5 filesdep ~ghcPVP ok
2025-06-24 14:52 UTC0.24.2+17/−77 lines, 10 filesdep ~basedep ~ghcPVP ok

showing 5 of 79 versions

hedgehog >=0 1.6 → 1.7
2025-09-22 20:47 UTC1.7+50/−26 lines, 5 filesdep ~lifted-asyncdep ~template-haskelldep ~timePVP ok
2025-09-08 12:45 UTC1.6+87/−63 lines, 4 filesPVP ok
2024-07-24 13:51 UTC1.5+255/−78 lines, 5 filesdep ~containersdep ~randomdep ~template-haskellPVP ok
2023-08-06 21:48 UTC1.4+138/−64 lines, 7 filesdep ~ansi-terminaldep ~barbiesdep ~bytestringPVP ok
2023-06-22 11:22 UTC1.3+152/−29 lines, 11 filesdep +safe-exceptionsdep ~ansi-terminalPVP ok

showing 5 of 28 versions

template-haskell >=0 2.23.0.0 → 2.24.0.0
2025-12-19 11:53 UTC2.24.0.0+606/−68 lines, 9 filesdep +ghc-internaldep ~basedep ~ghc-boot-thPVP ok
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploaderPVP ok
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-thPVP ok
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-thPVP ok
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-thPVP ok

showing 5 of 26 versions

Reverse dependencies

no known reverse dependencies