haskellPackages.cryptol 3.5.0 unmaintained outdated
Cryptol: The Language of Cryptography
- Name
cryptol-3.5.0- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/cryptol
- License
- BSD-3-Clause
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:174650
- Derivation
/nix/store/mmb7gwf0c903w6vp4v13qymanawn02dg-cryptol-3.5.0.drv- Repology
- outdated, newest version is 3.6.0 · cryptol (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 50
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.GraphSCC 1.0.4 | propagatedBuildInputs | 3 | unmaintained | |
| haskellPackages.MemoTrie 0.6.11 | propagatedBuildInputs | 259 | unmaintained | |
| haskellPackages.aeson 2.2.4.1 | propagatedBuildInputs | 14,968 | unmaintained outdated | |
| haskellPackages.ansi-terminal 1.1.5 | propagatedBuildInputs | 23,133 | unmaintained | |
| haskellPackages.arithmoi 0.13.3.0 | propagatedBuildInputs | 23 | unmaintained outdated | |
| haskellPackages.async 2.2.6 | propagatedBuildInputs | 18,146 | unmaintained | |
| haskellPackages.base-compat 0.14.1 | propagatedBuildInputs | 21,629 | unmaintained | |
| haskellPackages.blaze-html 0.9.2.0 | propagatedBuildInputs | 10,148 | unmaintained | |
| haskellPackages.bv-sized 1.0.7 | propagatedBuildInputs | 27 | unmaintained outdated | |
| haskellPackages.criterion-measurement 0.2.4.0 | propagatedBuildInputs | 167 | unmaintained outdated | |
| haskellPackages.cryptohash-sha256 0.11.102.1 | propagatedBuildInputs | 232 | unmaintained | |
| haskellPackages.extra 1.8.1 | propagatedBuildInputs | 9,475 | unmaintained | |
| haskellPackages.file-embed 0.0.16.0 | propagatedBuildInputs | 9,489 | unmaintained | |
| haskellPackages.gitrev 1.3.1 | propagatedBuildInputs | 181 | unmaintained | |
| haskellPackages.heredoc 0.2.0.0 | propagatedBuildInputs | 35 | unmaintained | |
| haskellPackages.hgmp 0.1.2.1 | propagatedBuildInputs | 7 | unmaintained broken | |
| haskellPackages.language-c99 0.2.0 | propagatedBuildInputs | 14 | unmaintained | |
| haskellPackages.language-c99-simple 0.3.0 | propagatedBuildInputs | 12 | unmaintained | |
| haskellPackages.libBF 0.6.8 | propagatedBuildInputs | 45 | unmaintained outdated | |
| haskellPackages.libffi 0.2.1 | propagatedBuildInputs | 15 | unmaintained | |
| haskellPackages.monad-control 1.0.3.1 | propagatedBuildInputs | 12,022 | unmaintained | |
| haskellPackages.monadLib 3.10.3 | propagatedBuildInputs | 47 | unmaintained | |
| haskellPackages.optparse-applicative 0.18.1.0 | propagatedBuildInputs | 21,845 | unmaintained | |
| haskellPackages.panic 0.4.0.1 | propagatedBuildInputs | 28 | unmaintained | |
| haskellPackages.parameterized-utils 2.1.11.0 | propagatedBuildInputs | 33 | unmaintained | |
| haskellPackages.pretty-show 1.10 | propagatedBuildInputs | 11,460 | unmaintained | |
| haskellPackages.prettyprinter 1.7.1 | propagatedBuildInputs | 22,291 | unmaintained outdated | |
| haskellPackages.primitive 0.9.1.0 | propagatedBuildInputs | 20,296 | unmaintained | |
| haskellPackages.rme-what4 0.1.2 | propagatedBuildInputs | 4 | unmaintained broken outdated | |
| haskellPackages.sbv 11.7 | propagatedBuildInputs | 18 | unmaintained | |
| haskellPackages.simple-smt 0.9.8 | propagatedBuildInputs | 2 | unmaintained outdated | |
| haskellPackages.strict 0.5.1 | propagatedBuildInputs | 16,669 | unmaintained | |
| haskellPackages.temporary 1.3 | propagatedBuildInputs | 21,685 | unmaintained | |
| haskellPackages.tf-random 0.5 | propagatedBuildInputs | 26 | unmaintained | |
| haskellPackages.toml-parser 2.0.2.0 | propagatedBuildInputs | 8,153 | unmaintained | |
| haskellPackages.transformers-base 0.4.6.1 | propagatedBuildInputs | 15,177 | unmaintained | |
| haskellPackages.vector 0.13.2.0 | propagatedBuildInputs | 19,744 | unmaintained | |
| haskellPackages.what4 1.6.3 | propagatedBuildInputs | 23 | unmaintained | |
| haskellPackages.tasty 1.5.4 | buildInputs | 21,765 | single | |
| haskellPackages.tasty-hunit 0.10.2 | buildInputs | 21,552 | unmaintained | |
| ghc 9.10.3 | nativeBuildInputs | 27,267 | maintained | |
| haskellPackages.alex 3.5.4.2 | nativeBuildInputs | 9,240 | unmaintained | |
| haskellPackages.happy 2.1.7 | nativeBuildInputs | 13,421 | unmaintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| removeReferencesTo | nativeBuildInputs | 51,814 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| coreutils 9.11 | other input | 102,431 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,257 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only | |
| z3 5.1.0 | other input | 114 | maintained |
Used by 0 directly, 0 transitively
No package depends on this one.