haskellPackages.tamarin-prover 0.8.6.3 unmaintained
The Tamarin prover for security protocol analysis
- Name
tamarin-prover-0.8.6.3- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/tamarin-prover
- License
- GPL
- Main program
tamarin-prover- Source
- pkgs/development/haskell-modules/hackage-packages.nix:686901
- Derivation
/nix/store/bm6vb95jjnwgqzbmlm5r6qlmp3d36ad0-tamarin-prover-0.8.6.3.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 34
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.HUnit 1.6.2.0 | buildInputs | 22,253 | unmaintained | |
| haskellPackages.aeson 2.2.4.1 | buildInputs | 14,960 | unmaintained outdated | |
| haskellPackages.blaze-builder 0.4.4.1 | buildInputs | 12,229 | unmaintained | |
| haskellPackages.blaze-html 0.9.2.0 | buildInputs | 10,140 | unmaintained | |
| haskellPackages.cmdargs 0.10.22 | buildInputs | 10,249 | unmaintained | |
| haskellPackages.conduit 1.3.6.1 | buildInputs | 11,547 | unmaintained | |
| haskellPackages.derive 2.6.5 | buildInputs | 71 | unmaintained broken | |
| haskellPackages.dlist 1.0 | buildInputs | 15,802 | unmaintained | |
| haskellPackages.fclabels 2.0.5.1 | buildInputs | 58 | unmaintained broken | |
| haskellPackages.hamlet 1.2.0 | buildInputs | 21 | unmaintained | |
| haskellPackages.http-types 0.12.4 | buildInputs | 11,253 | unmaintained outdated | |
| haskellPackages.lifted-base 0.2.3.12 | buildInputs | 11,514 | unmaintained | |
| haskellPackages.monad-control 1.0.3.1 | buildInputs | 12,014 | unmaintained | |
| haskellPackages.old-locale 1.0.0.7 | buildInputs | 17,471 | unmaintained | |
| haskellPackages.parallel 3.2.2.0 | buildInputs | 13,329 | unmaintained | |
| haskellPackages.safe 0.3.21 | buildInputs | 13,213 | unmaintained | |
| haskellPackages.shakespeare 2.1.7.1 | buildInputs | 465 | single | |
| haskellPackages.syb 0.7.2.4 | buildInputs | 20,345 | unmaintained | |
| haskellPackages.tamarin-prover-term 0.8.5.1 | buildInputs | 2 | unmaintained outdated | |
| haskellPackages.tamarin-prover-theory 0.8.6.0 | buildInputs | 1 | unmaintained outdated | |
| haskellPackages.tamarin-prover-utils 0.8.5.1 | buildInputs | 3 | unmaintained broken outdated | |
| haskellPackages.threads 0.5.1.8 | buildInputs | 90 | unmaintained | |
| haskellPackages.uniplate 1.6.13 | buildInputs | 8,566 | unmaintained | |
| haskellPackages.wai 3.2.4 | buildInputs | 9,130 | unmaintained outdated | |
| haskellPackages.warp 3.4.9 | buildInputs | 9,007 | single | |
| haskellPackages.yesod-core 1.6.29.1 | buildInputs | 172 | unmaintained outdated | |
| haskellPackages.yesod-json 1.2.0 | buildInputs | 1 | unmaintained | |
| haskellPackages.yesod-static 1.6.1.2 | buildInputs | 39 | unmaintained outdated | |
| ghc 9.10.3 | nativeBuildInputs | 27,259 | maintained | |
| removeReferencesTo | nativeBuildInputs | 51,801 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| coreutils 9.11 | other input | 102,165 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,219 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.