packages feed

PropLogic

view on Hackage

versionuploadeduploaderchanges
0.9.0.42012-04-16 22:00 UTCDavidFox+3/−1 lines, 1 files
0.9.0.32012-04-16 15:47 UTCDavidFox+10/−8 lines, 1 files
0.9.0.22011-10-12 15:55 UTCDavidFox+2/−2 lines, 1 filesPVP: major bump suggested
0.9.0.12011-10-12 15:47 UTCDavidFox+14/−14 lines, 8 filesdep +old-timedep +randomdep −haskell98
0.92011-10-11 20:38 UTCDavidFox+5168/−0 lines, 11 filesdep +basedep +haskell98setup-changed

Dependencies of PropLogic-0.9.0.4

base <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

old-time >=0 1.1.0.5 → 1.1.1.0
2026-03-07 10:25 UTC1.1.1.0+495/−331 lines, 6 filesdep +old-timedep +tastydep +tasty-hunitdep ~basedep ~old-localenew-uploader
2026-01-06 08:48 UTC1.1.0.5+18/−8 lines, 2 files
2023-12-11 08:39 UTC1.1.0.4+4746/−4619 lines, 4 filesnew-uploader
2014-11-21 10:59 UTC1.1.0.3+50/−186 lines, 5 filesdep ~basesetup-changed
2014-03-22 09:43 UTC1.1.0.2+1128/−904 lines, 9 filesdep ~basedep ~old-localenew-uploader

showing 5 of 14 versions

random >=0 1.3.0 → 1.3.1
2025-04-04 14:25 UTC1.3.1+15/−6 lines, 3 files
2025-01-06 04:03 UTC1.3.0+2410/−538 lines, 16 filesdep +data-array-bytedep ~basedep ~transformers
2024-12-14 20:31 UTC1.2.1.3+22/−37 lines, 3 filesdep −doctestdep −mwc-randomdep −unliftiodep ~basedep ~containersdep ~primitive
2024-02-04 16:26 UTC1.2.1.2+17/−12 lines, 2 filesdep ~doctestdep ~tasty
2022-05-09 02:32 UTC1.2.1.1+8/−9 lines, 3 filesdep −ghc-byteorderdep ~bytestringdep ~doctestdep ~mtl

showing 5 of 15 versions

Reverse dependencies

1 packages depend on PropLogic

logic-classes 1.7.1 requires PropLogic >=0