packages feed

logic-classes

view on Hackage

versionuploadeduploaderchanges
1.7.12016-09-18 15:08 UTCDavidFox+3445/−6 lines, 19 filessetup-changed
1.72015-11-16 19:06 UTCDavidFox+1177/−9175 lines, 59 filesdep +atp-haskelldep +parsecdep +safedep ~pretty
1.5.32015-10-17 14:07 UTCDavidFox+7/−4 lines, 3 filesPVP: major bump suggested
1.5.22015-04-15 15:24 UTCDavidFox+12/−29 lines, 7 filessetup-changedPVP ok
1.5.12015-04-13 21:20 UTCDavidFox+398/−3492 lines, 23 filesdep +logic-classesdep −fgldep −syb-with-classdep −textdep ~PropLogic
1.52014-03-29 20:34 UTCDavidFox+61/−369 lines, 14 files
1.4.82013-10-15 14:49 UTCDavidFox+515/−26 lines, 7 filessetup-changed
1.4.72013-01-07 01:52 UTCDavidFox+385/−39 lines, 11 filesdep −incremental-sat-solver
1.4.62012-06-20 17:47 UTCDavidFox+4/−4 lines, 4 files
1.4.52012-04-18 14:30 UTCDavidFox+36/−10 lines, 7 files
1.4.42012-04-17 02:33 UTCDavidFox+1/−1 lines, 1 files
1.4.32012-04-16 15:48 UTCDavidFox+2/−2 lines, 1 filesdep ~PropLogic
1.4.22012-04-16 03:39 UTCDavidFox+53/−37 lines, 12 filesdep −happstack-data
1.4.12012-04-15 21:33 UTCDavidFox+20/−19 lines, 6 filesdep ~base
1.42012-01-24 13:50 UTCDavidFox+3559/−1289 lines, 61 filesdep +template-haskell
1.12012-01-09 20:22 UTCDavidFox+10028/−3310 lines, 72 filesdep +applicative-extrassetup-changed
0.482011-12-05 02:34 UTCDavidFox+1643/−1 lines, 5 files
0.472011-12-02 19:49 UTCDavidFox+62/−38 lines, 7 filesdep ~base
0.452011-10-14 20:04 UTCDavidFox+9/−2290 lines, 12 files
0.442011-10-11 20:40 UTCDavidFox+5515/−0 lines, 41 filesdep +HUnitdep +PropLogicdep +basebuild-type:Customsetup-changed

Dependencies of logic-classes-1.7.1

HUnit >=0 1.6.1.0 → 1.6.2.0
2021-01-19 18:27 UTC1.6.2.0+48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested
2020-10-31 12:09 UTC1.6.1.0+35/−21 lines, 4 filesPVP ok
2017-03-20 01:42 UTC1.6.0.0+9/−5 lines, 4 filesdep ~basePVP ok
2016-10-16 03:35 UTC1.5.0.0+47/−27 lines, 5 filesPVP ok
2016-10-07 03:13 UTC1.4.0.0+761/−778 lines, 12 filesdep +call-stackPVP ok

showing 5 of 22 versions

PropLogic >=0 0.9.0.3 → 0.9.0.4
2012-04-16 22:00 UTC0.9.0.4+3/−1 lines, 1 files
2012-04-16 15:47 UTC0.9.0.3+10/−8 lines, 1 files
2011-10-12 15:55 UTC0.9.0.2+2/−2 lines, 1 filesPVP: major bump suggested
2011-10-12 15:47 UTC0.9.0.1+14/−14 lines, 8 filesdep +old-timedep +randomdep −haskell98
2011-10-11 20:38 UTC0.9+5168/−0 lines, 11 filesdep +basedep +haskell98setup-changed
applicative-extras >=0 0.1.7 → 0.1.8
2011-01-03 14:27 UTC0.1.8+4/−4 lines, 1 filesdep −haskell98dep −mtlPVP ok
2010-12-14 10:13 UTC0.1.7+2/−17 lines, 2 filesdep ~mtlPVP: major bump suggested
2010-03-24 19:06 UTC0.1.6+8/−2 lines, 2 filesPVP: major bump suggested
2009-07-08 10:13 UTC0.1.5+36/−5 lines, 2 filesdep ~basePVP ok
2009-03-16 11:28 UTC0.1.4+2/−2 lines, 2 filesPVP ok

showing 5 of 9 versions

atp-haskell >=0 1.14.2 → 1.14.3
2024-04-03 19:38 UTC1.14.3+20/−15 lines, 4 files
2024-03-16 14:45 UTC1.14.2+14/−2 lines, 3 filesdep ~base
2024-03-13 18:06 UTC1.14.1+22/−6 lines, 3 files
2016-09-12 13:17 UTC1.14+43/−42 lines, 5 filesdep +extraPVP ok
2016-02-25 20:56 UTC1.13+20/−12 lines, 3 filesPVP ok

showing 5 of 9 versions

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

mtl >=0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploaderPVP: major bump suggested
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~basePVP: major bump suggested
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploaderPVP ok
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~basePVP: major bump suggested
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformersPVP: major bump suggested

showing 5 of 20 versions

parsec >=0 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtlPVP: major bump suggested
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tastyPVP: major bump suggested
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 filesPVP ok
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~basePVP ok
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~textPVP ok

showing 5 of 27 versions

pretty >=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 ~basePVP: major bump suggested
2017-02-03 23:16 UTC1.1.3.5+8/−3 lines, 3 filesPVP ok
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 filesPVP: major bump suggested
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 filesPVP: major bump suggested
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 versions

safe >=0 0.3.20 → 0.3.21
2024-01-18 16:51 UTC0.3.21+5/−3 lines, 3 filesdep ~base
2024-01-14 10:19 UTC0.3.20+40/−13 lines, 6 files
2020-05-24 20:21 UTC0.3.19+37/−30 lines, 5 files
2019-12-04 10:51 UTC0.3.18+136/−55 lines, 7 filesdep ~base
2018-03-09 17:20 UTC0.3.17+81/−62 lines, 6 files

showing 5 of 23 versions

safecopy >=0 0.10.4.2 → 0.10.4.3
2025-08-27 19:05 UTC0.10.4.3+99/−99 lines, 6 filesdep −QuickCheckdep −quickcheck-instancesdep ~template-haskelldep ~timenew-uploader
2021-04-14 01:34 UTC0.10.4.2+4/−4 lines, 1 filesdep ~QuickCheckdep ~arraydep ~bytestring
2021-02-21 12:14 UTC0.10.4.1+2/−2 lines, 2 files
2021-02-21 02:35 UTC0.10.4+31/−21 lines, 4 files
2021-01-11 18:24 UTC0.10.3.1+21/−12 lines, 5 filesdep ~template-haskell

showing 5 of 44 versions

set-extra >=0 1.4.1 → 1.4.2
2024-02-18 20:44 UTC1.4.2+5/−4 lines, 2 files
2018-05-22 17:00 UTC1.4.1+12/−5 lines, 2 files
2016-02-23 05:56 UTC1.4+9/−1 lines, 2 files
2015-01-06 18:55 UTC1.3.2+7/−6 lines, 2 files
2013-05-24 19:01 UTC1.3.1+17/−17 lines, 2 files

showing 5 of 7 versions

syb >=0 0.7.3 → 0.7.4
2026-03-07 17:18 UTC0.7.4+27/−18 lines, 4 files
2025-08-21 20:31 UTC0.7.3+176/−154 lines, 13 filesdep ~base
2023-07-30 17:25 UTC0.7.2.4+434/−64 lines, 7 files
2023-03-18 23:19 UTC0.7.2.3+50/−36 lines, 4 filesdep ~mtl
2022-09-17 15:09 UTC0.7.2.2+108/−79 lines, 36 files

showing 5 of 33 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-th
2024-12-16 09:29 UTC2.23.0.0+104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploader
2024-05-15 13:07 UTC2.22.0.0+176/−81 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-10-10 00:23 UTC2.21.0.0+275/−148 lines, 7 filesdep ~basedep ~ghc-boot-th
2023-03-28 13:43 UTC2.20.0.0+215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-th

showing 5 of 26 versions

Reverse dependencies

1 packages depend on logic-classes

acme-everything 2018.11.18 requires logic-classes >=0