packages feed

equational-reasoning

view on Hackage

versionuploadeduploaderchanges
0.7.1.02025-01-02 06:49 UTCHiromiIshii1 revisions+337/−371 lines, 7 filesdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested
0.7.0.32024-05-17 11:59 UTCHiromiIshii1 revisions+73/−24 lines, 3 filesdep ~containersPVP: major bump suggested
0.7.0.22023-12-26 13:31 UTCHiromiIshii1 revisions+40/−39 lines, 1 filesdep −semigroupsdep ~template-haskelldep ~th-desugarPVP: major bump suggested
0.7.0.12021-10-31 08:51 UTCHiromiIshii3 revisions+7/−5 lines, 2 filesdep ~template-haskelldep ~th-desugarPVP ok
0.7.0.02021-01-22 10:42 UTCHiromiIshii2 revisions+263/−146 lines, 4 filesdep ~template-haskelldep ~th-desugarPVP ok
0.6.0.42021-01-18 16:24 UTCHiromiIshii+1/−2 lines, 1 filesdep −th-extrasPVP: major bump suggested
0.6.0.32020-05-18 02:25 UTCHiromiIshii+4/−4 lines, 1 filesdep ~template-haskellPVP ok
0.6.0.22020-03-26 01:19 UTCHiromiIshii+24/−3 lines, 2 filesdep ~th-desugarPVP ok
0.6.0.12020-01-25 14:38 UTCHiromiIshii+74/−107 lines, 3 filesPVP ok
0.6.0.02019-02-05 16:06 UTCHiromiIshii1 revisions+17/−100 lines, 3 filesdep −singletonsdep ~th-desugarPVP ok
0.5.1.12019-01-04 05:10 UTCHiromiIshii+55/−46 lines, 4 filesdep ~containersdep ~singletonsdep ~template-haskellPVP: major bump suggested
0.5.1.02018-03-09 05:26 UTCHiromiIshii+87/−69 lines, 3 filesdep +semigroupsdep ~containersdep ~singletonsdep ~template-haskellPVP: major bump suggested
0.5.0.02017-09-19 04:42 UTCHiromiIshii+93/−41 lines, 3 filesdep +th-extrasdep ~singletonsdep ~template-haskellPVP ok
0.4.1.12016-08-05 10:30 UTCHiromiIshii+2/−2 lines, 2 filesPVP: minor bump suggested
0.4.1.02016-08-05 10:15 UTCHiromiIshii+36/−7 lines, 3 filesPVP ok
0.4.0.02016-07-27 12:45 UTCHiromiIshii+431/−26 lines, 7 filesdep +containersdep +th-desugardep ~singletonsPVP ok
0.3.0.02016-07-24 06:30 UTCHiromiIshii+117/−71 lines, 4 filesdep −taggeddep ~singletonsdep ~template-haskellPVP ok
0.2.0.72015-10-02 08:22 UTCHiromiIshii+5/−7 lines, 1 filesPVP ok
0.2.0.62015-10-02 06:23 UTCHiromiIshii+8/−3 lines, 1 filesdep ~singletonsPVP: major bump suggested
0.2.0.52015-02-04 06:00 UTCHiromiIshii+23/−4 lines, 2 filesdep ~voidPVP ok
0.2.0.42014-08-14 11:38 UTCHiromiIshii+2/−2 lines, 1 filesdep ~singletonsPVP ok
0.2.0.32014-06-07 06:34 UTCHiromiIshii+2/−2 lines, 1 filesdep ~singletonsPVP ok
0.2.0.22014-03-27 11:12 UTCHiromiIshii+6/−1 lines, 2 files
0.2.0.12014-03-27 10:53 UTCHiromiIshii+4/−4 lines, 2 files
0.2.0.02014-03-27 10:32 UTCHiromiIshii+44/−5 lines, 2 filesPVP ok
0.1.0.02014-03-27 08:37 UTCHiromiIshii+11/−7 lines, 2 filesdep ~singletonsdep ~tagged
0.0.4.12014-03-27 07:49 UTCHiromiIshii+9/−5 lines, 1 filesdep ~basedep ~template-haskell
0.0.4.02014-03-27 07:25 UTCHiromiIshii+9/−6 lines, 2 files
0.0.3.02014-02-23 12:32 UTCHiromiIshii+127/−7 lines, 3 filesdep +template-haskell
0.0.1.02013-06-02 05:44 UTCHiromiIshii+222/−0 lines, 5 filesdep +basedep +singletonsdep +taggedsetup-changed

Dependencies of equational-reasoning-0.7.1.0

base >=4.13 && <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.5 && <0.9 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

template-haskell >=2.11 && <2.25 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

th-desugar >=1.13 && <1.20 1.18 → 1.19
2026-01-10 23:54 UTC1.19+67/−11 lines, 8 filesdep ~mtldep ~template-haskelldep ~th-orphans
2024-12-11 12:37 UTC1.18+2253/−444 lines, 14 filesdep +th-compatdep ~template-haskelldep ~th-orphans
2024-05-12 22:50 UTC1.17+479/−35 lines, 17 filesdep ~template-haskell
2023-10-13 12:04 UTC1.16+9712/−9117 lines, 29 filesdep ~template-haskelldep ~th-abstractionsetup-changed
2023-03-12 17:48 UTC1.15+9117/−8634 lines, 27 filesdep −th-liftdep ~template-haskelldep ~th-abstractionsetup-changed

showing 5 of 33 versions

void >=0.6 && <0.8 0.7.3 → 0.7.4
2025-12-08 12:14 UTC0.7.4+18/−337 lines, 6 filesdep −deepseqdep −ghc-primdep −hashable
2019-05-10 14:01 UTC0.7.3+198/−92 lines, 5 filesdep +template-haskellnew-uploader
2017-03-25 04:22 UTC0.7.2+134/−19 lines, 4 files
2015-09-13 18:16 UTC0.7.1+26/−7 lines, 6 filesdep +deepseqdep ~semigroups
2014-12-02 09:57 UTC0.7+123/−114 lines, 4 filesdep ~base

showing 5 of 27 versions

Reverse dependencies

9 packages depend on equational-reasoning; 2 have bounds that exclude 0.7.1.0

computational-algebra 0.5.1.0 requires equational-reasoning >=0.4 && <0.6 excludes current (upper bound)
sized-vector 1.4.3.1 requires equational-reasoning >=0.4 && <0.5 excludes current (upper bound)
ghc-typelits-presburger 0.7.4.2 requires equational-reasoning >=0
half-space 0.1.1.0 requires equational-reasoning >=0.7 && <0.8
manifolds 0.6.1.0 requires equational-reasoning >=0
manifolds-core 0.6.1.1 requires equational-reasoning >=0.6 && <0.8
singletons-presburger 0.7.4.1 requires equational-reasoning >=0
sized 1.1.0.2 requires equational-reasoning >=0.5
type-natural 1.3.0.2 requires equational-reasoning >=0.4.1.1