packages feed

tamarin-prover-term

view on Hackage

versionuploadeduploaderchanges
0.8.5.12014-02-07 15:57 UTCSimonMeier+25/−19 lines, 6 filesdep ~tamarin-prover-utils
0.8.5.02013-05-08 09:48 UTCSimonMeier+31/−32 lines, 7 filesdep ~HUnitdep ~binarydep ~bytestring
0.8.4.02013-01-15 09:40 UTCBenediktSchmidt+1043/−929 lines, 29 filesdep ~tamarin-prover-utilsnew-uploader
0.8.2.02012-09-28 06:49 UTCSimonMeier+2/−33 lines, 2 filesdep ~tamarin-prover-utils
0.8.1.02012-08-13 21:38 UTCSimonMeier+19/−6 lines, 2 filesdep ~tamarin-prover-utils
0.8.0.02012-07-20 17:55 UTCSimonMeier+81/−62 lines, 6 filesdep ~tamarin-prover-utils
0.6.0.02012-06-05 12:30 UTCSimonMeier+397/−178 lines, 10 filesdep ~tamarin-prover-utils
0.4.1.02012-05-04 10:20 UTCSimonMeier+6/−6 lines, 2 filesdep ~tamarin-prover-utils
0.4.0.02012-04-24 14:25 UTCSimonMeier+2023/−1039 lines, 24 filesdep +HUnitdep +attoparsecdep +bytestringdep ~containersdep ~deepseqdep ~processsetup-changed
0.1.0.02012-02-10 20:42 UTCSimonMeier+4264/−0 lines, 24 filesdep +basedep +binarydep +containerssetup-changed

Dependencies of tamarin-prover-term-0.8.5.1

HUnit >=1 && <2 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

attoparsec >=0.10 && <0.11 0.10.4.0 → 0.14.4 newer than bounds
2022-01-10 18:41 UTC0.14.4 newer than bounds+736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok
2021-12-09 02:44 UTC0.14.3 newer than bounds+107/−39 lines, 5 filesPVP ok
2021-10-30 15:07 UTC0.14.2 newer than bounds+10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok
2021-03-22 21:21 UTC0.14.1 newer than bounds+172/−34 lines, 10 filesPVP ok
2021-02-10 01:00 UTC0.13.2.5 newer than bounds+53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested

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

binary <1 0.9.0.0 → 0.10.0.0
2018-08-02 10:08 UTC0.10.0.0+504/−101 lines, 10 filesdep +generic-derivingdep −tardep ~Cabaldep ~QuickCheckPVP ok
2017-03-13 22:00 UTC0.9.0.0+245/−690 lines, 15 filesdep +tardep −base-orphansdep −binarydep −generic-derivingdep ~Cabaldep ~QuickCheckdep ~basePVP ok
2025-01-28 16:34 UTC0.8.9.3+8/−3 lines, 3 filesPVP ok
2024-04-12 15:16 UTC0.8.9.2+23/−9 lines, 5 filesPVP: major bump suggested
2022-08-04 23:02 UTC0.8.9.1+13/−12 lines, 3 filesPVP ok

showing 5 of 50 versions

bytestring >=0.9 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.4.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

deepseq >=1.3 1.5.2.0 → 1.6.0.0
2024-09-08 16:18 UTC1.6.0.0+5/−14 lines, 3 filesdep ~basePVP ok
2025-06-14 22:25 UTC1.5.2.0+13/−4 lines, 3 filesPVP: major bump suggested
2024-09-09 12:48 UTC1.5.1.0+69/−14 lines, 3 filesdep −arraydep ~basePVP: major bump suggested
2023-07-27 19:32 UTC1.5.0.0+619/−532 lines, 5 filesdep ~basePVP ok
2022-12-18 00:14 UTC1.4.8.1+34/−9 lines, 3 filesdep ~basePVP: major bump suggested

showing 5 of 26 versions

derive >=2 && <3 2.6.4 → 2.6.5
2019-01-22 13:51 UTC2.6.5+16/−9 lines, 3 filesnew-uploaderPVP: major bump suggested
2018-06-18 11:09 UTC2.6.4+28/−22 lines, 9 filesdep ~haskell-src-extsnew-uploaderPVP ok
2017-08-01 15:05 UTC2.6.3+14/−6 lines, 3 filesPVP: major bump suggested
2017-03-11 20:18 UTC2.6.2+7/−5 lines, 3 filesPVP ok
2017-02-27 22:01 UTC2.6.1+4/−2 lines, 2 filesdep ~haskell-src-extsPVP ok

showing 5 of 47 versions

directory >=1.1 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

dlist >=0.5 && <0.6 0.5 → 1.0 newer than bounds
2020-07-18 22:00 UTC1.0 newer than bounds+2476/−780 lines, 18 filesdep −Cabaldep ~QuickCheckdep ~deepseqPVP ok
2020-04-02 03:40 UTC0.8.0.8 newer than bounds+26/−13 lines, 5 filesdep ~QuickCheckPVP ok
2019-08-05 11:45 UTC0.8.0.7 newer than bounds+32/−3 lines, 4 filesdep ~basedep ~deepseqPVP: minor bump suggested
2019-03-29 13:30 UTC0.8.0.6 newer than bounds+9/−2 lines, 2 filesdep ~QuickCheckPVP: major bump suggested
2018-09-13 07:03 UTC0.8.0.5 newer than bounds+9/−2 lines, 2 filesdep ~QuickCheckPVP: major bump suggested

showing 5 of 24 versions

mtl >=2 && <3 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 && <3.2 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 >=1.1 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

safe >=0.2 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

split >=0.1 && <0.2 0.1.4.3 → 0.2.5 newer than bounds
2024-01-11 16:34 UTC0.2.5 newer than bounds+25/−2 lines, 4 files
2023-10-09 18:34 UTC0.2.4 newer than bounds+614/−514 lines, 7 filesdep ~QuickCheck
2022-08-11 16:02 UTC0.2.3.5 newer than bounds+30/−5 lines, 4 filesdep ~base
2020-02-22 21:57 UTC0.2.3.4 newer than bounds+15/−3 lines, 2 filesdep ~base
2018-01-24 03:00 UTC0.2.3.3 newer than bounds+7/−3 lines, 2 filesdep ~base

showing 5 of 25 versions

syb >=0.3.3 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

tamarin-prover-utils >=0.8.5.1 && <0.9 0.8.5.0 → 0.8.5.1
2014-02-07 15:57 UTC0.8.5.1+1/−1 lines, 1 files
2013-05-08 09:45 UTC0.8.5.0 outside bounds+19/−24 lines, 2 filesdep ~SHAdep ~base64-bytestringdep ~binary
2013-01-15 09:39 UTC0.8.4.0 outside bounds+12/−2 lines, 2 filesnew-uploader
2012-09-28 06:49 UTC0.8.2.0 outside bounds+1/−1 lines, 1 files
2012-08-13 21:37 UTC0.8.1.0 outside bounds+4/−4 lines, 2 files

showing 5 of 11 versions

Reverse dependencies

2 packages depend on tamarin-prover-term

tamarin-prover 0.8.6.3 requires tamarin-prover-term >=0.8.5.1 && <0.9
tamarin-prover-theory 0.8.6.0 requires tamarin-prover-term >=0.8.5.1 && <0.9