packages feed

liquidhaskell

view on Hackage

versionuploadeduploaderchanges
0.9.14.1.12026-06-04 19:45 UTCFacundoDominguez+17/−2 lines, 2 files
0.9.14.12026-05-06 15:54 UTCFacundoDominguez1 revisions+67/−29 lines, 8 filesdep ~liquidhaskell-boot
0.9.12.2.12026-01-14 16:02 UTCFacundoDominguez+193/−82 lines, 13 filesdep ~liquidhaskell-boot
0.9.12.22025-03-22 19:07 UTCFacundoDominguez+11/−6 lines, 3 filesdep ~bytestringdep ~containersdep ~liquidhaskell-boot
0.9.10.1.22025-03-06 20:53 UTCFacundoDominguez1 revisions+1060/−1016 lines, 50 filesdep −ghc-bignumdep −ghc-internaldep ~liquidhaskell-boot
0.9.10.12024-08-21 15:58 UTCFacundoDominguez1 revisions+334/−329 lines, 38 filesdep +ghc-internaldep ~bytestringdep ~containersdep ~liquidhaskell-boot
0.9.8.22024-08-21 15:43 UTCFacundoDominguez+37/−54 lines, 7 filesdep ~bytestringdep ~liquidhaskell-boot
0.9.8.12024-02-05 11:57 UTCFacundoDominguez+23/−10 lines, 5 filesdep ~bytestringdep ~containersdep ~liquidhaskell-boot
0.9.6.3.12024-03-07 11:29 UTCFacundoDominguez+47/−2 lines, 43 files
0.9.6.32024-01-29 17:41 UTCFacundoDominguez+7/−5 lines, 3 filesdep ~liquidhaskell-boot
0.9.4.7.02023-12-06 20:26 UTCFacundoDominguez+30/−22 lines, 6 filesdep +ghc-bignumdep ~bytestringdep ~containersdep ~liquidhaskell-boot
0.9.2.8.02023-11-19 12:50 UTCFacundoDominguez+28/−23 lines, 5 filesdep ~bytestringdep ~liquidhaskell-boot
0.9.2.5.02023-10-18 21:29 UTCFacundoDominguez+2258/−67904 lines, 1151 filesdep +liquidhaskell-bootdep −Cabaldep −Diffdep −aesondep ~basedep ~bytestringdep ~containersbuild-type:Customsetup-changed
0.9.0.2.12023-02-03 11:56 UTCniki1 revisions+19181/−18520 lines, 1224 filesdep −optparse-simpledep −stmdep −string-convdep ~basedep ~containersdep ~directory
0.8.10.7.12024-04-04 14:00 UTCFacundoDominguez1 revisions+2/−400479 lines, 2619 filesdep ~tastynew-uploader
0.8.10.72021-11-04 10:33 UTCniki1 revisions+408789/−4285 lines, 2862 filesdep +data-fixdep +exceptionsdep +freedep −parsecdep ~Cabaldep ~Diffdep ~aesonbinary-added
0.8.10.22020-08-24 08:00 UTCAlfredoDiNapoli3 revisions+192/−15 lines, 6 filesdep ~aesondep ~ghcdep ~hashable
0.8.10.12020-07-29 06:31 UTCAlfredoDiNapoli3 revisions+13009/−8416 lines, 468 filesdep +Cabaldep +extradep +mustachedep −hintdep ~basedep ~cmdargsdep ~containersnew-component:exe:mirror-modulesnew-uploader
0.8.6.22019-09-23 22:05 UTCniki2 revisions+555/−5 lines, 11 filesdep ~Diffdep ~ghcbinary-added
0.8.6.02019-09-23 21:16 UTCniki1 revisions+18428/−34566 lines, 591 filesdep +githashdep +hintdep −Cabaldep −QuickCheckdep −arraydep ~aesondep ~basedep ~bytestringnew-component:exe:gradualnew-component:exe:targetbinary-added
0.8.2.42018-02-18 04:17 UTCranjitjhala+3/−115 lines, 8 files
0.8.2.32018-02-15 22:52 UTCranjitjhala+1745/−784 lines, 60 filesdep +gitrevdep +optparse-simpledep ~liquid-fixpoint
0.8.2.22017-12-29 04:59 UTCranjitjhala+7182/−141856 lines, 1110 filesdep −hintdep ~ghcdep ~ghc-bootdep ~liquid-fixpoint
0.8.2.02017-10-16 20:59 UTCniki+140931/−1813 lines, 1017 filesdep ~aesondep ~ghcdep ~ghc-bootbinary-added
0.8.0.52017-10-09 17:51 UTCranjitjhala+573/−138046 lines, 979 filesdep ~liquid-fixpointnew-uploader
0.8.0.32017-10-06 18:51 UTCniki+6/−6 lines, 2 filesdep ~liquid-fixpoint
0.8.0.22017-10-06 15:53 UTCniki+162869/−3841 lines, 1401 filesdep ~basedep ~ghc-bootdep ~liquid-fixpointbinary-added
0.8.0.12017-07-20 18:04 UTCEricSeidel+16/−335107 lines, 1389 filesdep ~base
0.8.0.02017-05-02 18:47 UTCniki+168349/−1839 lines, 336 filesdep +ghc-bootdep −liquiddesugardep ~basedep ~ghcdep ~liquid-fixpointbinary-added
0.7.0.02017-05-02 18:27 UTCniki+188213/−22216 lines, 1600 filesdep +QuickCheckdep +binarydep +exceptionsdep −cpphsdep −daemonsdep −networkdep ~aesondep ~basedep ~cmdargssetup-changednew-component:exe:targetnew-uploaderbinary-added
0.6.0.12017-07-20 17:48 UTCEricSeidel+6/−11 lines, 2 filesdep ~aesondep ~basedep ~optparse-applicative
0.6.0.02016-04-05 22:28 UTCEricSeidel1 revisions+16744/−25269 lines, 233 filesdep +cerealdep +daemonsdep +located-basedep −ansi-terminaldep −filemanipdep −interndep ~Diffdep ~aesondep ~arraysetup-changednew-component:exe:lhi
0.5.0.12015-08-13 16:41 UTCEricSeidel2 revisions+5/−5 lines, 3 filesdep ~ghcdep ~liquid-fixpoint
0.5.0.02015-08-12 23:04 UTCEricSeidel1 revisions+15155/−505 lines, 69 filesdep +Cabaldep +stmdep +transformersdep ~ghcdep ~process
0.4.1.12015-05-23 04:36 UTCEricSeidel1 revisions+5/−2 lines, 2 files
0.4.1.02015-05-22 23:49 UTCEricSeidel1 revisions+465/−283 lines, 52 files
0.4.0.12015-05-22 02:52 UTCEricSeidel1 revisions+5/−8 lines, 3 files
0.4.0.02015-05-22 00:31 UTCEricSeidel1 revisions+17726/−2403 lines, 558 filesdep ~liquid-fixpoint
0.3.1.02015-03-05 00:39 UTCEricSeidel1 revisions+525/−1076 lines, 36 filesdep ~liquid-fixpoint
0.3.0.02015-02-08 12:54 UTCEricSeidel1 revisions+6320/−5193 lines, 68 filesdep ~liquid-fixpoint
0.2.1.02014-11-19 05:34 UTCEricSeidel1 revisions+1815/−591 lines, 30 filesdep −unixdep ~liquid-fixpointdep ~optparse-applicativedep ~tasty
0.2.0.02014-09-03 04:31 UTCEricSeidel1 revisions+25936/−17371 lines, 106 filesdep +arraydep +data-defaultdep +fingertreedep ~basedep ~ghcdep ~hashable
0.12013-09-23 07:57 UTCEricSeidel1 revisions+18352/−0 lines, 82 filesdep +Diffdep +aesondep +ansi-terminalsetup-changed

Dependencies of liquidhaskell-0.9.14.1.1

base >=4.11.1.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

bytestring >=0 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 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

ghc-prim >=0 0.12.0 → 0.13.0
2024-12-16 09:29 UTC0.13.0+95/−12 lines, 6 filesPVP ok
2025-05-03 11:48 UTC0.12.0+5108/−1582 lines, 15 filesnew-uploaderPVP ok
2023-10-10 00:24 UTC0.11.0+770/−234 lines, 9 filesPVP ok
2023-03-28 14:22 UTC0.10.0+487/−297 lines, 16 filesPVP ok
2022-08-07 20:08 UTC0.9.0+2921/−2018 lines, 14 filesPVP ok

showing 5 of 15 versions

liquidhaskell-boot ==0.9.14.1.1 0.9.14.1 → 0.9.14.1.1
2026-06-04 19:37 UTC0.9.14.1.1+817/−739 lines, 37 filesdep −cmdargsdep −optparse-applicativedep ~liquid-fixpoint
2026-05-06 15:53 UTC0.9.14.1 outside bounds+2235/−1616 lines, 70 filesdep ~ghcdep ~liquid-fixpoint
2026-01-14 16:01 UTC0.9.12.2.1 outside bounds+1451/−1032 lines, 44 filesdep ~liquid-fixpoint
2025-03-22 19:06 UTC0.9.12.2 outside bounds+201/−163 lines, 26 filesdep ~ghcdep ~liquid-fixpoint
2025-03-06 20:09 UTC0.9.10.1.2 outside bounds+9844/−9264 lines, 93 filesdep +arraydep −data-defaultdep −data-fixdep −recursion-schemesdep ~Diffdep ~hashabledep ~liquid-fixpoint

showing 5 of 12 versions

Reverse dependencies

17 packages depend on liquidhaskell; 6 have bounds that exclude 0.9.14.1.1

g2 0.2.0.0 requires liquidhaskell ==0.8.10.2 excludes current (upper bound)
liquid-base 4.15.1.0 requires liquidhaskell >=0.9.0.2 && <0.9.2 excludes current (upper bound)
liquid-bytestring 0.10.12.1 requires liquidhaskell >=0.9.0.2 && <0.9.2 excludes current (upper bound)
liquid-containers 0.6.4.1 requires liquidhaskell >=0.9.0.2 && <0.9.2 excludes current (upper bound)
liquid-ghc-prim 0.7.0.1 requires liquidhaskell >=0.9.0.2 && <0.9.2 excludes current (upper bound)
safe-coupling 0.1.0.1 requires liquidhaskell >=0.8.10 && <0.9 excludes current (upper bound)
cl3 3.0.0.0 requires liquidhaskell >=0.8.10
cl3-posit 1.0.0.0 requires liquidhaskell >=0
grow-vector 0.1.5.0 requires liquidhaskell >=0.8.10
haal 0.5.0.0 requires liquidhaskell >=0
liquid-finfield 0.9.12.2.1 requires liquidhaskell >=0.9.12.2.1
liquid-parallel 3.2.2.0.3 requires liquidhaskell >=0.9.2.8
liquid-platform 0.9.2.8 requires liquidhaskell >=0.9.2.8
liquid-prelude 0.9.14.1 requires liquidhaskell >=0.9.14.1
liquid-vector 0.13.1.0.2 requires liquidhaskell >=0.9.12.2.1
posit 2022.2.0.3 requires liquidhaskell >=0
target 0.2.0.1 requires liquidhaskell >=0.5