heyting-algebras
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.2.0.1 | 2021-03-27 13:40 UTC | coot | +180/−557 lines, 12 filesdep ~basedep ~free-algebrasdep ~hashablePVP ok | |
| 0.0.2.0 | 2019-02-16 10:49 UTC | coot | +889/−732 lines, 14 filesdep +semiring-simpledep ~QuickCheckdep ~free-algebrasdep ~latticesPVP: major bump suggested | |
| 0.0.1.2 | 2018-10-05 23:11 UTC | coot | +60/−13 lines, 4 filesPVP: minor bump suggested | |
| 0.0.1.1 | 2018-10-05 21:48 UTC | coot | +3/−3 lines, 1 files | |
| 0.0.1.0 | 2018-10-05 21:40 UTC | coot | +1275/−0 lines, 10 filesdep +QuickCheckdep +basedep +containerssetup-changed |
Dependencies of heyting-algebras-0.2.0.1
QuickCheck >=0 2.17.1.0 → 2.18.0.0
| 2026-02-26 12:42 UTC | 2.18.0.0 | +826/−542 lines, 23 filesPVP ok |
| 2025-10-13 12:40 UTC | 2.17.1.0 | +18/−8 lines, 4 filesdep ~randomPVP: major bump suggested |
| 2025-10-07 12:26 UTC | 2.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 UTC | 2.16.0.0 | +477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok |
| 2024-05-27 14:54 UTC | 2.15.0.1 | +15/−6 lines, 4 filesdep ~randomPVP ok |
showing 5 of 65 versions
base >=4.9 && <4.16 4.15.1.0 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0.4.2 && <0.7 0.6.8 → 0.8 newer than bounds
| 2025-03-01 13:03 UTC | 0.8 newer than bounds | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 newer than bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
free-algebras >=0.1.0.1 && <0.1.1.0 0.1.0.2 → 0.1.2.0 newer than bounds
| 2024-09-01 10:40 UTC | 0.1.2.0 newer than bounds | +13/−6 lines, 4 filesdep ~containersdep ~hedgehogPVP: major bump suggested |
| 2023-06-04 10:33 UTC | 0.1.1.0 newer than bounds | +38/−25 lines, 8 filesdep ~transformersPVP ok |
| 2022-09-06 15:52 UTC | 0.1.0.2 | +20/−56 lines, 8 filesdep ~hedgehogdep ~mtlPVP: major bump suggested |
| 2021-03-14 06:38 UTC | 0.1.0.1 | +46/−21 lines, 6 filesdep ~data-fixdep ~dlistdep ~groupsPVP: major bump suggested |
| 2020-09-09 08:06 UTC | 0.1.0.0 outside bounds | +205/−208 lines, 11 filesPVP ok |
showing 5 of 18 versions
hashable >=1.2.6.1 && <1.4 1.3.5.0 → 1.5.1.0 newer than bounds
| 2026-01-02 17:45 UTC | 1.5.1.0 newer than bounds | +7260/−6790 lines, 5 filesdep −HUnitdep −ghc-bignumdep −randomdep ~basedep ~containersPVP: major bump suggested |
| 2024-07-04 19:38 UTC | 1.5.0.0 newer than bounds | +50/−156 lines, 4 filesdep −base-orphansdep −ghc-bignum-orphansdep −integer-gmpdep ~QuickCheckdep ~basedep ~bytestringPVP ok |
| 2024-06-24 10:44 UTC | 1.4.7.0 newer than bounds | +8/−3 lines, 2 filesPVP ok |
| 2024-06-09 19:43 UTC | 1.4.6.0 newer than bounds | +60/−83 lines, 7 filesdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2PVP ok |
| 2024-06-08 14:07 UTC | 1.4.5.0 newer than bounds | +7338/−256 lines, 15 filesdep +primitivedep +tastydep +tasty-hunitdep ~basedep ~bytestringdep ~containersPVP ok |
showing 5 of 52 versions
lattices >=2.0 && <2.1 2.0.3 → 2.2.1.1 newer than bounds
| 2026-04-16 00:15 UTC | 2.2.1.1 newer than bounds | +17/−15 lines, 1 filesdep ~QuickCheckdep ~basedep ~containersPVP: major bump suggested |
| 2024-05-16 17:34 UTC | 2.2.1 newer than bounds | +16/−89 lines, 22 filesdep −base-compatdep −voiddep ~QuickCheckdep ~basedep ~containersPVP: major bump suggested |
| 2023-03-15 16:27 UTC | 2.2 newer than bounds | +48/−32 lines, 4 filesdep +foldable1-classes-compatdep −semigroupoidsdep ~OneTupledep ~basedep ~base-compatPVP ok |
| 2023-01-28 19:04 UTC | 2.1 newer than bounds | +57/−121 lines, 6 filesPVP ok |
| 2021-10-30 14:23 UTC | 2.0.3 | +82/−8 lines, 7 filesdep +OneTupledep ~basedep ~hashabledep ~semigroupsPVP: major bump suggested |
showing 5 of 21 versions
semiring-simple >=1.0 && <1.2 1.0.0.0 → 1.0.0.1
| 2016-03-28 13:44 UTC | 1.0.0.1 | +19/−13 lines, 2 files |
| 2016-03-20 19:33 UTC | 1.0.0.0 | +145/−72 lines, 3 files |
| 2014-07-27 10:48 UTC | 0.2.1.0 outside bounds | +41/−45 lines, 2 filesdep ~base |
| 2014-05-07 01:58 UTC | 0.2.0.0 outside bounds | +40/−53 lines, 3 filesdep ~base |
| 2014-04-30 10:29 UTC | 0.1.0.0 outside bounds | +160/−0 lines, 5 filesdep +basesetup-changed |
tagged >=0.8.5 && <0.9 0.8.9 → 0.8.10
| 2025-12-08 00:55 UTC | 0.8.10 | +40/−16 lines, 4 filesdep −transformersdep ~template-haskell |
| 2024-12-03 12:15 UTC | 0.8.9 | +39/−439 lines, 5 filesdep −ghc-primdep −transformers-compatdep ~basedep ~template-haskelldep ~transformers |
| 2023-08-08 10:32 UTC | 0.8.8 | +14/−10 lines, 3 filesdep ~deepseqdep ~template-haskell |
| 2023-02-18 14:37 UTC | 0.8.7 | +33/−7 lines, 3 filesdep ~template-haskell |
| 2020-12-28 14:56 UTC | 0.8.6.1 | +32/−168 lines, 8 filesdep ~template-haskelldep ~transformers |
showing 5 of 39 versions
tasty >=0 1.5.3 → 1.5.4
| 2026-03-25 20:04 UTC | 1.5.4 | +332/−166 lines, 22 filesdep −semigroups |
| 2025-01-05 19:52 UTC | 1.5.3 | +36/−11 lines, 3 filesdep ~containersdep ~optparse-applicative |
| 2024-11-03 00:34 UTC | 1.5.2 | +22/−5 lines, 4 filesdep ~base |
| 2024-06-22 10:14 UTC | 1.5.1 | +131/−63 lines, 10 filesdep ~base |
| 2023-09-10 00:08 UTC | 1.5 | +1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicative |
showing 5 of 75 versions
tasty-quickcheck >=0 0.11 → 0.11.1
| 2025-01-05 19:53 UTC | 0.11.1 | +66/−33 lines, 4 filesdep +regex-tdfadep −pcre-lightdep ~QuickCheckdep ~basedep ~optparse-applicative |
| 2024-06-22 10:14 UTC | 0.11 | +132/−49 lines, 4 filesdep ~QuickCheck |
| 2023-09-10 00:10 UTC | 0.10.3 | +52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploader |
| 2021-11-20 19:17 UTC | 0.10.2 | +21/−13 lines, 3 filesdep ~base |
| 2020-12-18 09:42 UTC | 0.10.1.2 | +27/−13 lines, 4 filesdep ~base |
showing 5 of 23 versions
universe-base >=1.0 && <1.2 1.1.3.1 → 1.1.4
| 2024-05-16 12:49 UTC | 1.1.4 | +28/−84 lines, 5 filesdep −natsdep −semigroupsdep −transformers-compatdep ~OneTupledep ~QuickCheckdep ~base |
| 2023-03-15 14:51 UTC | 1.1.3.1 | +26/−15 lines, 2 filesdep ~OneTupledep ~base |
| 2021-10-30 12:58 UTC | 1.1.3 | +33/−3 lines, 3 filesdep +OneTupledep ~basedep ~semigroupsdep ~transformers |
| 2021-01-09 19:39 UTC | 1.1.2 | +122/−35 lines, 5 filesdep ~QuickCheckdep ~basedep ~semigroups |
| 2019-06-29 17:30 UTC | 1.1.1 | +23/−8 lines, 4 filesdep ~base |
showing 5 of 10 versions
unordered-containers >=0.2.6.0 && <0.3 0.2.20.1 → 0.2.21
| 2025-12-13 23:09 UTC | 0.2.21 | +3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq |
| 2025-10-02 07:28 UTC | 0.2.20.1 | +106/−52 lines, 12 files |
| 2024-01-09 06:48 UTC | 0.2.20 | +1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell |
| 2022-04-24 15:48 UTC | 0.2.19.1 | +88/−14 lines, 4 filesdep ~basedep ~template-haskell |
| 2022-04-16 13:01 UTC | 0.2.19.0 | +330/−186 lines, 12 filesdep ~base |
showing 5 of 43 versions
Reverse dependencies
1 packages depend on heyting-algebras