packages feed

dedukti

view on Hackage

versionuploadeduploaderchanges
1.1.42011-04-08 14:57 UTCMathieuBoespflug+65/−42 lines, 4 filesdep ~haskell-src-exts-qqPVP ok
1.1.32010-05-20 14:14 UTCMathieuBoespflug+101/−74 lines, 9 filesdep ~unix
1.1.22010-04-03 14:53 UTCMathieuBoespflug+11/−4 lines, 4 filesdep +unix
1.1.12010-04-03 13:17 UTCMathieuBoespflug+72/−32 lines, 5 files
1.1.02010-04-02 10:46 UTCMathieuBoespflug+897/−477 lines, 24 filesdep +haskell-src-exts-qqdep +stringtable-atomdep +test-frameworkdep −textdep ~Streamdep ~hmkdep ~parsecbuild-type:Customsetup-changednew-component:exe:dedukti-tests
1.0.32009-10-07 17:12 UTCMathieuBoespflug+10/−8 lines, 2 filesPVP ok
1.0.22009-10-06 14:26 UTCMathieuBoespflug+1067/−14 lines, 8 filesPVP ok
1.0.12009-10-01 20:49 UTCMathieuBoespflug+449/−1469 lines, 37 filesPVP ok
1.0.02009-10-01 20:35 UTCMathieuBoespflug+3825/−0 lines, 44 filesdep +Streamdep +basedep +bytestringsetup-changed

Dependencies of dedukti-1.1.4

Stream >=0.3 && <0.3.2 0.3.1 → 0.4.7.2 newer than bounds
2015-02-06 15:35 UTC0.4.7.2 newer than bounds+22/−1 lines, 2 files
2014-01-14 21:47 UTC0.4.7.1 newer than bounds+8/−7 lines, 2 files
2014-01-14 21:28 UTC0.4.7 newer than bounds+1/−1 lines, 1 files
2014-01-14 21:18 UTC0.4.6.2 newer than bounds+6/−1 lines, 2 files
2012-10-22 08:15 UTC0.4.6.1 newer than bounds+36/−6 lines, 2 filesPVP: minor bump suggested

showing 5 of 24 versions

base >=4 && <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.9.1.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.2 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

directory >=0 1.3.10.1 → 1.3.11.0
2026-05-27 05:59 UTC1.3.11.0+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

filepath >=0 1.5.4.0 → 1.5.5.0
2026-01-20 08:14 UTC1.5.5.0+68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok
2024-11-17 13:06 UTC1.5.4.0+26/−6 lines, 3 filesdep ~basePVP ok
2024-06-29 15:30 UTC1.5.3.0+876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested
2024-01-26 07:02 UTC1.5.2.0+330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok
2023-11-25 08:29 UTC1.5.0.0+53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok

showing 5 of 35 versions

haskell-src-exts >=1.1.0 1.23.1 → 1.24.0
2026-07-04 05:40 UTC1.24.0+1040/−69 lines, 33 filesdep ~arraydep ~ghc-primdep ~prettyPVP ok
2020-06-02 02:38 UTC1.23.1+16/−8 lines, 7 filesdep ~basePVP ok
2020-01-03 21:30 UTC1.23.0+1756/−13 lines, 20 filesPVP ok
2019-11-01 02:20 UTC1.22.0+34529/−31943 lines, 66 filesPVP ok
2019-09-03 18:17 UTC1.21.1+35/−440 lines, 10 filesdep ~basenew-uploaderPVP: major bump suggested

showing 5 of 91 versions

haskell-src-exts-qq >=0.4 0.6.1 → 0.7
2015-10-14 13:34 UTC0.7+120/−31 lines, 3 filesdep +haskell-src-exts-qqdep +hspecdep ~basedep ~haskell-src-extsPVP ok
2012-08-23 17:06 UTC0.6.1+3/−1 lines, 2 filesPVP ok
2012-01-04 22:48 UTC0.6.0+31/−16 lines, 2 filesPVP ok
2011-08-12 19:01 UTC0.5.0+23/−18 lines, 2 filesPVP ok
2011-02-09 02:50 UTC0.4.0+9/−411 lines, 3 filesdep +haskell-src-metadep ~haskell-src-extsPVP ok

showing 5 of 11 versions

hmk >=0.9.7 0.9.7.3 → 0.9.7.4
2016-01-11 13:46 UTC0.9.7.4+15/−10 lines, 5 filesdep ~mtlsetup-changed
2011-04-01 21:16 UTC0.9.7.3+9/−5 lines, 2 filesPVP ok
2010-12-17 13:06 UTC0.9.7.2+2/−2 lines, 1 filesdep ~mtlPVP ok
2010-11-04 11:22 UTC0.9.7.1+5/−2 lines, 2 filesdep ~mtlPVP: major bump suggested
2010-03-09 17:41 UTC0.9.7+3/−5 lines, 3 files

showing 5 of 12 versions

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

showing 5 of 20 versions

parsec >=3.1.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 ~mtl
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

showing 5 of 27 versions

process >=0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 versions

stringtable-atom >=0.0.6 0.0.6.2 → 0.0.7
2014-05-17 22:01 UTC0.0.7+12/−10 lines, 2 files
2013-06-11 17:56 UTC0.0.6.2+8/−8 lines, 2 filesnew-uploader
2009-12-16 13:41 UTC0.0.6.1+12/−12 lines, 2 filesdep ~base
2008-11-17 10:57 UTC0.0.6+22/−11 lines, 1 filesdep +sybdep ~base
2008-11-11 19:01 UTC0.0.5 outside bounds+24/−12 lines, 4 filesdep ~base

showing 5 of 9 versions

test-framework >=0.2 && <0.3 0.2.4 → 0.8.2.3 newer than bounds
2026-01-05 13:44 UTC0.8.2.3 newer than bounds+15/−15 lines, 3 filesdep −bytestringdep −old-localedep −semigroupsdep ~ansi-terminaldep ~ansi-wl-pprintdep ~hostname
2025-04-11 08:21 UTC0.8.2.2 newer than bounds+34/−35 lines, 3 filesdep −libxmldep −utf8-stringdep ~QuickCheck
2025-02-26 19:51 UTC0.8.2.1 newer than bounds+1700/−1542 lines, 55 filesdep +utf8-stringdep −base-orphansdep ~HUnitdep ~QuickCheckdep ~ansi-terminalsetup-changednew-uploader
2017-12-30 17:50 UTC0.8.2.0 newer than bounds+134/−79 lines, 13 filesdep +base-orphansdep +semigroupsdep ~QuickCheckdep ~ansi-terminaldep ~ansi-wl-pprintsetup-changed
2015-01-09 04:04 UTC0.8.1.1 newer than bounds+7/−2 lines, 2 filesdep ~ansi-terminaldep ~time

showing 5 of 34 versions

time >=1.1 1.15 → 1.16
2026-05-03 08:43 UTC1.16+353/−64 lines, 29 filesdep +template-haskell-liftdep ~template-haskell
2025-08-04 16:22 UTC1.15+1407/−743 lines, 56 filesdep ~basedep ~deepseqdep ~template-haskell
2024-03-10 22:18 UTC1.14+6594/−5536 lines, 73 filesdep +template-haskelldep ~base
2021-10-18 05:36 UTC1.13+1279/−1589 lines, 59 filesdep ~base
2022-05-14 00:07 UTC1.12.2+1526/−1266 lines, 57 filesdep ~base

showing 5 of 47 versions

unix >=2.3 2.8.7.0 → 2.8.8.0
2025-09-23 08:10 UTC2.8.8.0+161/−207 lines, 6 filesdep ~basedep ~time
2025-05-10 14:12 UTC2.8.7.0+8400/−7941 lines, 12 filesdep ~basedep ~time
2024-11-19 15:41 UTC2.8.6.0+1133/−333 lines, 14 filesdep ~basedep ~time
2024-04-08 19:21 UTC2.8.5.1+7507/−6738 lines, 5 filesdep ~basedep ~filepathdep ~os-string
2023-12-01 00:53 UTC2.8.5.0+55/−9 lines, 7 filesdep +os-stringdep ~filepathdep ~time

showing 5 of 34 versions

wl-pprint >=1.0 1.2 → 1.2.1
2018-04-21 19:05 UTC1.2.1+21/−7 lines, 2 filesdep ~base
2015-04-14 07:32 UTC1.2+18/−5 lines, 2 filesdep ~basenew-uploader
2011-04-16 11:42 UTC1.1+9/−6 lines, 2 filesnew-uploader
2007-04-15 19:09 UTC1.0+1000/−0 lines, 4 filesdep +basebuild-type:Customsetup-changed

Reverse dependencies

1 packages depend on dedukti

acme-everything 2018.11.18 requires dedukti >=0