packages feed

tamarin-prover

view on Hackage

versionuploadeduploaderchanges
0.8.6.32015-09-07 11:51 UTCSimonMeier+17/−5 lines, 2 files
0.8.6.22015-09-07 09:56 UTCSimonMeier+6/−3 lines, 1 files
0.8.6.12014-06-08 14:47 UTCSimonMeier+4/−3 lines, 2 filesdep +shakespearedep ~conduit
0.8.6.02014-02-16 15:16 UTCSimonMeier+6/−2 lines, 2 filesdep ~tamarin-prover-theory
0.8.5.12014-02-07 15:57 UTCSimonMeier+346/−18 lines, 9 filesdep ~aesondep ~tamarin-prover-termdep ~tamarin-prover-theory
0.8.5.02013-05-08 09:51 UTCSimonMeier+136/−188 lines, 10 filesdep ~aesondep ~arraydep ~blaze-builder
0.8.4.02013-01-15 09:41 UTCBenediktSchmidt+4869/−102 lines, 37 filesdep ~cmdargsdep ~tamarin-prover-termdep ~tamarin-prover-theorynew-uploader
0.8.2.12012-09-28 16:07 UTCSimonMeier+49/−19 lines, 3 files
0.8.2.02012-09-28 06:48 UTCSimonMeier+2537/−11349 lines, 64 filesdep +conduitdep +tamarin-prover-theorydep −fast-loggerdep −wai-loggerdep ~blaze-htmldep ~bytestringdep ~hamlet
0.8.1.02012-08-13 21:39 UTCSimonMeier+480/−208 lines, 23 filesdep +dlistdep ~tamarin-prover-termdep ~tamarin-prover-utils
0.8.0.02012-07-20 17:56 UTCSimonMeier+2889/−2979 lines, 70 filesdep +fast-loggerdep +wai-loggerdep ~tamarin-prover-termdep ~tamarin-prover-utils
0.6.1.02012-06-05 15:29 UTCSimonMeier+10/−6 lines, 5 files
0.6.0.02012-06-05 12:30 UTCSimonMeier+11873/−10167 lines, 83 filesdep ~hamletdep ~lifted-basedep ~tamarin-prover-term
0.4.1.02012-05-04 10:21 UTCSimonMeier+124/−51 lines, 11 filesdep ~tamarin-prover-termdep ~tamarin-prover-utils
0.4.0.02012-04-24 14:25 UTCSimonMeier+7235/−5339 lines, 97 filesdep +HUnitdep +blaze-htmldep +lifted-basedep −data-defaultdep −template-haskelldep −wai-extradep ~aesondep ~arraydep ~cmdargssetup-changedbinary-added
0.1.1.02012-02-10 21:30 UTCSimonMeier+16/−5 lines, 3 files
0.1.0.02012-02-10 20:42 UTCSimonMeier+26286/−0 lines, 97 filesdep +aesondep +arraydep +basesetup-changedbinary-added

Dependencies of tamarin-prover-0.8.6.3

HUnit >=1.2 && <1.3 1.2.5.2 → 1.6.2.0 newer than bounds
2021-01-19 18:27 UTC1.6.2.0 newer than bounds+48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested
2020-10-31 12:09 UTC1.6.1.0 newer than bounds+35/−21 lines, 4 filesPVP ok
2017-03-20 01:42 UTC1.6.0.0 newer than bounds+9/−5 lines, 4 filesdep ~basePVP ok
2016-10-16 03:35 UTC1.5.0.0 newer than bounds+47/−27 lines, 5 filesPVP ok
2016-10-07 03:13 UTC1.4.0.0 newer than bounds+761/−778 lines, 12 filesdep +call-stackPVP ok

showing 5 of 22 versions

aeson >=0.6 && <0.7 0.6.2.1 → 2.3.1.0 newer than bounds
2026-07-05 10:37 UTC2.3.1.0 newer than bounds+101/−42 lines, 17 filesdep ~text-iso8601PVP ok
2026-05-21 08:35 UTC2.3.0.0 newer than bounds+54/−41 lines, 17 filesdep ~nothunksdep ~text-iso8601new-uploaderPVP ok
2026-05-12 15:10 UTC2.2.5.0 newer than bounds+13/−3 lines, 3 filesdep ~semialignPVP ok
2026-04-16 20:18 UTC2.2.4.1 newer than bounds+17/−14 lines, 2 filesdep −ghc-primdep ~containersdep ~deepseqdep ~primitivePVP ok
2026-04-15 20:41 UTC2.2.4.0 newer than bounds+67/−21 lines, 11 filesdep ~QuickCheckdep ~quickcheck-instancesPVP: major bump suggested

showing 5 of 103 versions

array >=0.3 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 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 >=0.5 && <0.6 0.5.1.1 → 0.10.0.0 newer than bounds
2018-08-02 10:08 UTC0.10.0.0 newer than bounds+504/−101 lines, 10 filesdep +generic-derivingdep −tardep ~Cabaldep ~QuickCheckPVP ok
2017-03-13 22:00 UTC0.9.0.0 newer than bounds+245/−690 lines, 15 filesdep +tardep −base-orphansdep −binarydep −generic-derivingdep ~Cabaldep ~QuickCheckdep ~basePVP ok
2025-01-28 16:34 UTC0.8.9.3 newer than bounds+8/−3 lines, 3 filesPVP ok
2024-04-12 15:16 UTC0.8.9.2 newer than bounds+23/−9 lines, 5 filesPVP: major bump suggested
2022-08-04 23:02 UTC0.8.9.1 newer than bounds+13/−12 lines, 3 filesPVP ok

showing 5 of 50 versions

blaze-builder >=0.3 0.4.4 → 0.4.4.1
2025-08-29 05:39 UTC0.4.4.1+8/−4 lines, 3 filesdep −deepseqdep −ghc-primPVP ok
2025-08-01 15:28 UTC0.4.4+258/−326 lines, 13 filesPVP ok
2025-05-15 11:12 UTC0.4.3+44/−72 lines, 8 filesdep −bytestring-builderdep −semigroupsdep ~basedep ~bytestringdep ~textPVP: major bump suggested
2023-08-27 17:50 UTC0.4.2.3+20/−12 lines, 5 filesdep ~basedep ~bytestringdep ~textPVP ok
2021-10-18 21:39 UTC0.4.2.2+352/−332 lines, 28 filesdep +ghc-primdep ~basedep ~bytestringdep ~textnew-uploaderPVP ok

showing 5 of 31 versions

blaze-html >=0.5 0.9.1.2 → 0.9.2.0
2024-03-06 08:07 UTC0.9.2.0+2300/−1786 lines, 19 filesdep ~QuickCheckdep ~containersPVP ok
2019-10-02 15:15 UTC0.9.1.2+12/−3 lines, 2 filesdep ~QuickCheckdep ~bytestringdep ~containersPVP ok
2018-06-12 14:15 UTC0.9.1.1+42/−1 lines, 4 filesPVP: minor bump suggested
2018-06-10 11:18 UTC0.9.1.0+58/−5 lines, 6 filesdep ~HUnitdep ~QuickCheckPVP ok
2017-01-30 16:56 UTC0.9.0.1+16/−1 lines, 2 filesPVP ok

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

cmdargs >=0.10 && <0.11 0.10.21 → 0.10.22
2023-03-13 11:19 UTC0.10.22+22/−20 lines, 9 filesdep ~basesetup-changedPVP: major bump suggested
2021-02-14 10:26 UTC0.10.21+131/−129 lines, 18 filesPVP: major bump suggested
2018-01-22 18:47 UTC0.10.20+9/−30 lines, 3 filesPVP: major bump suggested
2018-01-01 22:21 UTC0.10.19+62/−63 lines, 7 filesdep +semigroupsPVP ok
2017-09-24 22:00 UTC0.10.18+180/−169 lines, 4 filesdep ~basePVP: major bump suggested

showing 5 of 49 versions

conduit >=1.0 && <1.1 1.0.17.1 → 1.3.6.1 newer than bounds
2025-02-23 07:03 UTC1.3.6.1 newer than bounds+8/−4 lines, 3 filesPVP ok
2024-08-26 14:58 UTC1.3.6 newer than bounds+13/−3 lines, 4 filesPVP: major bump suggested
2023-05-22 15:14 UTC1.3.5 newer than bounds+22/−3 lines, 3 filesdep −kan-extensionsPVP: major bump suggested
2022-10-06 07:03 UTC1.3.4.3 newer than bounds+43/−55 lines, 7 filesdep ~resourcetPVP: major bump suggested
2021-09-26 04:29 UTC1.3.4.2 newer than bounds+17/−12 lines, 3 filesdep ~basePVP ok

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

showing 5 of 47 versions

directory >=1.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

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

showing 5 of 24 versions

fclabels >=1.1 && <1.2 1.1.7.1 → 2.0.5.1 newer than bounds
2021-05-27 18:41 UTC2.0.5.1 newer than bounds+69/−23 lines, 3 filesdep ~basedep ~base-orphansdep ~criterionPVP ok
2020-05-22 09:42 UTC2.0.5 newer than bounds+19/−12 lines, 3 filesdep ~basedep ~template-haskellPVP ok
2020-01-28 20:23 UTC2.0.4 newer than bounds+19/−32 lines, 3 filesdep +base-orphansPVP: major bump suggested
2018-02-13 06:09 UTC2.0.3.3 newer than bounds+12/−7 lines, 2 filesdep ~basedep ~criteriondep ~mtlPVP: major bump suggested
2016-11-24 13:23 UTC2.0.3.2 newer than bounds+7/−5 lines, 2 filesdep ~HUnitdep ~basedep ~criterionPVP ok

showing 5 of 55 versions

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

hamlet >=1.1 1.1.9.2 → 1.2.0
2014-03-30 06:14 UTC1.2.0+3/−2705 lines, 17 filesdep −HUnitdep −blaze-builderdep −blaze-htmldep ~shakespeare
2014-02-25 11:45 UTC1.1.9.2+3/−9 lines, 2 files
2014-02-25 02:42 UTC1.1.9.1+19/−17 lines, 3 files
2014-02-20 05:30 UTC1.1.9+88/−27 lines, 3 files
2014-02-20 05:04 UTC1.1.8.1+2/−2 lines, 2 filesdep ~template-haskell

showing 5 of 86 versions

http-types >=0.7 0.12.4 → 0.12.5
2026-05-31 21:06 UTC0.12.5+843/−207 lines, 20 filesdep +filepathdep +hspec-goldendep ~arraydep ~basedep ~bytestring
2023-11-30 02:34 UTC0.12.4+1704/−748 lines, 10 filesnew-uploader
2019-02-24 11:33 UTC0.12.3+7/−6 lines, 3 files
2018-09-26 20:04 UTC0.12.2+37/−19 lines, 4 files
2018-01-31 20:19 UTC0.12.1+66/−2 lines, 4 files

showing 5 of 47 versions

lifted-base >=0.2.0.5 0.2.3.11 → 0.2.3.12
2018-03-14 20:14 UTC0.2.3.12+17/−17 lines, 1 filesdep ~HUnitdep ~criteriondep ~monad-control
2017-05-27 14:31 UTC0.2.3.11+2/−2 lines, 1 filesdep ~criterion
2017-02-13 23:04 UTC0.2.3.10+2/−2 lines, 2 files
2017-02-13 22:54 UTC0.2.3.9+2/−2 lines, 1 filesdep ~HUnit
2016-07-21 04:55 UTC0.2.3.8+8/−3 lines, 3 files

showing 5 of 33 versions

monad-control <1 0.3.3.1 → 1.0.3.1 newer than bounds
2021-08-02 10:16 UTC1.0.3.1 newer than bounds+25/−13 lines, 3 filesdep ~transformers
2021-07-26 20:03 UTC1.0.3 newer than bounds+6/−2 lines, 2 filesdep ~base
2021-07-26 19:56 UTC1.0.2.4 newer than bounds+912/−894 lines, 5 filesdep ~basedep ~transformers-compatsetup-changednew-uploader
2018-02-26 08:14 UTC1.0.2.3 newer than bounds+10/−3 lines, 3 filesdep ~transformers-compat
2017-08-06 15:12 UTC1.0.2.2 newer than bounds+201/−29 lines, 4 files

showing 5 of 32 versions

mtl >=2.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

old-locale >=1 && <2 1.0.0.6 → 1.0.0.7
2014-11-21 11:00 UTC1.0.0.7+11/−11 lines, 2 filesdep ~base
2014-03-22 08:55 UTC1.0.0.6+74/−29 lines, 3 filesdep ~basenew-uploader
2012-09-06 18:08 UTC1.0.0.5+10/−10 lines, 1 files
2012-02-02 23:16 UTC1.0.0.4+5/−1 lines, 2 files
2011-08-25 12:29 UTC1.0.0.3+3/−3 lines, 1 files

showing 5 of 8 versions

parallel >=3.2 && <3.3 3.2.2.0 → 3.3.0.0 newer than bounds
2025-10-19 07:46 UTC3.3.0.0 newer than bounds+238/−198 lines, 5 filesdep −ghc-primdep ~basenew-uploader
2018-07-13 16:34 UTC3.2.2.0+156/−57 lines, 3 filesdep +ghc-primdep ~basedep ~containersdep ~deepseq
2017-04-08 16:27 UTC3.2.1.1+16/−4 lines, 3 filesdep ~basedep ~deepseq
2016-01-02 08:14 UTC3.2.1.0+42/−18 lines, 4 filesdep ~base
2014-12-28 10:14 UTC3.2.0.6+18/−8 lines, 4 files

showing 5 of 21 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.2 1.1.0.2 → 1.6.30.0 newer than bounds
2026-06-11 10:14 UTC1.6.30.0 newer than bounds+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0 newer than bounds+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0 newer than bounds+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0 newer than bounds+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2 newer than bounds+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

shakespeare >=2.0 && <2.1 2.0.30 → 2.2.0 newer than bounds
2025-11-04 14:56 UTC2.2.0 newer than bounds+139/−1 lines, 6 files
2025-10-08 16:40 UTC2.1.7.1 newer than bounds+36/−2 lines, 3 files
2025-10-07 16:32 UTC2.1.7 newer than bounds+182/−54 lines, 5 filesdep ~bytestring
2025-06-05 15:56 UTC2.1.4 newer than bounds+22/−3 lines, 4 files
2025-06-05 15:54 UTC2.1.3 newer than bounds+110/−88 lines, 6 files

showing 5 of 81 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-term >=0.8.5.1 && <0.9 0.8.5.0 → 0.8.5.1
2014-02-07 15:57 UTC0.8.5.1+25/−19 lines, 6 filesdep ~tamarin-prover-utils
2013-05-08 09:48 UTC0.8.5.0 outside bounds+31/−32 lines, 7 filesdep ~HUnitdep ~binarydep ~bytestring
2013-01-15 09:40 UTC0.8.4.0 outside bounds+1043/−929 lines, 29 filesdep ~tamarin-prover-utilsnew-uploader
2012-09-28 06:49 UTC0.8.2.0 outside bounds+2/−33 lines, 2 filesdep ~tamarin-prover-utils
2012-08-13 21:38 UTC0.8.1.0 outside bounds+19/−6 lines, 2 filesdep ~tamarin-prover-utils

showing 5 of 10 versions

tamarin-prover-theory >=0.8.6.0 && <0.9 0.8.5.1 → 0.8.6.0
2014-02-16 15:15 UTC0.8.6.0+3/−2 lines, 2 files
2014-02-07 15:58 UTC0.8.5.1 outside bounds+5/−5 lines, 2 filesdep ~tamarin-prover-termdep ~tamarin-prover-utils
2013-05-08 09:49 UTC0.8.5.0 outside bounds+48/−37 lines, 4 filesdep ~HUnitdep ~arraydep ~bytestring
2013-01-15 09:40 UTC0.8.4.0 outside bounds+822/−248 lines, 23 filesdep ~cmdargsdep ~tamarin-prover-termdep ~tamarin-prover-utilsnew-uploader
2012-09-28 06:49 UTC0.8.2.0 outside bounds+11449/−0 lines, 33 filesdep +HUnitdep +arraydep +basesetup-changed
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

text >=0.11 && <0.12 0.11.3.1 → 2.1.4 newer than bounds
2026-01-28 08:30 UTC2.1.4 newer than bounds+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3 newer than bounds+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2 newer than bounds+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1 newer than bounds+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1 newer than bounds+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

threads >=0.4 0.5.1.7 → 0.5.1.8
2023-09-27 17:48 UTC0.5.1.8+4/−52 lines, 3 filessetup-changed
2022-08-22 22:09 UTC0.5.1.7+17/−6 lines, 3 filesdep ~basenew-uploader
2018-03-14 20:17 UTC0.5.1.6+12/−12 lines, 1 filesdep ~HUnitdep ~basedep ~concurrent-extra
2017-07-24 22:27 UTC0.5.1.5+7/−4 lines, 1 filesdep ~HUnitdep ~base
2016-06-10 09:44 UTC0.5.1.4+15/−4 lines, 2 filesdep ~HUnitdep ~base

showing 5 of 21 versions

time >=1.2 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

transformers >=0.3 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

uniplate >=1.6 && <1.7 1.6.12 → 1.6.13
2020-11-07 19:53 UTC1.6.13+369/−548 lines, 23 filesdep +ghc-primdep ~base
2013-10-26 21:17 UTC1.6.12+4/−5 lines, 2 filesdep ~hashabledep ~unordered-containers
2013-08-14 15:35 UTC1.6.11+4/−4 lines, 3 files
2012-12-14 08:53 UTC1.6.10+3/−4 lines, 3 filesdep ~hashable
2012-12-08 19:45 UTC1.6.9+52/−128 lines, 11 files

showing 5 of 24 versions

wai >=1.3 3.2.3 → 3.2.4
2023-12-10 10:13 UTC3.2.4+241/−63 lines, 5 filesdep ~base
2021-01-18 14:44 UTC3.2.3+82/−5 lines, 3 filesdep −transformersdep ~base
2019-06-20 10:43 UTC3.2.2.1+8/−3 lines, 3 files
2019-01-22 07:38 UTC3.2.2+23/−8 lines, 4 files
2018-03-19 12:31 UTC3.2.1.2+33/−40 lines, 6 filesdep −blaze-builderdep −bytestring-builderdep ~basedep ~bytestring

showing 5 of 55 versions

warp >=1.3 3.4.13.1 → 3.4.14
2026-07-11 15:24 UTC3.4.14+73/−16 lines, 4 filesPVP ok
2026-05-28 12:19 UTC3.4.13.1—
2026-04-16 12:27 UTC3.4.13+455/−47 lines, 12 filesdep +warpdep −ghc-primdep ~networkdep ~time-manager
2025-12-31 11:46 UTC3.4.12+86/−3 lines, 4 files
2025-12-11 17:46 UTC3.4.11+63/−3 lines, 8 filesdep ~stm

showing 5 of 220 versions

yesod-core >=1.2.6.6 1.6.29.1 → 1.7.0.0
2026-06-16 20:32 UTC1.7.0.0+8958/−1033 lines, 93 filesdep +th-compatdep +th-lift-instancesdep ~aesondep ~attoparsec-aesondep ~blaze-htmlPVP ok
2026-02-12 15:50 UTC1.6.29.1+8/−4 lines, 3 filesdep ~text
2026-02-10 20:49 UTC1.6.29.0+324/−66 lines, 11 filesdep +encoding
2025-10-23 20:08 UTC1.6.28.1+188/−79 lines, 11 filesdep +th-abstractiondep ~template-haskell
2025-10-23 17:43 UTC1.6.28.0+57/−11 lines, 5 files

showing 5 of 224 versions

yesod-json >=1.2 1.1.2.2 → 1.2.0
2013-05-07 08:11 UTC1.2.0+5/−221 lines, 3 filesdep −aesondep −attoparsec-conduitdep −blaze-builderdep ~basedep ~yesod-core
2013-03-10 07:40 UTC1.1.2.2 outside bounds+69/−4 lines, 3 filesdep +hspecdep +wai-testdep +yesod-jsondep ~basedep ~containersdep ~text
2013-02-18 05:41 UTC1.1.2.1 outside bounds+11/−11 lines, 1 filesdep ~attoparsec-conduitdep ~conduitdep ~safe
2012-11-16 07:57 UTC1.1.2 outside bounds+6/−2 lines, 2 filesdep ~shakespeare-js
2012-11-07 19:00 UTC1.1.1 outside bounds+3/−2 lines, 2 files

showing 5 of 22 versions

yesod-static >=1.2 1.6.1.2 → 1.6.1.3
2026-06-16 20:33 UTC1.6.1.3+6/−2 lines, 2 filesdep ~yesod-core
2026-01-20 21:19 UTC1.6.1.2+10/−3 lines, 3 files
2026-01-20 20:24 UTC1.6.1.1+99/−74 lines, 16 filesdep +cryptondep +crypton-conduitdep −cryptonitedep −cryptonite-conduitdep ~basenew-uploader
2020-07-06 04:44 UTC1.6.1.0+35/−15 lines, 5 filesdep +riodep ~base
2018-10-14 08:08 UTC1.6.0.1+45/−47 lines, 3 filesdep −byteabledep −exceptionsdep −old-time

showing 5 of 59 versions

Reverse dependencies

1 packages depend on tamarin-prover

acme-everything 2018.11.18 requires tamarin-prover >=0