cryptol
Paket-Details
| Name | cryptol |
|---|---|
| Version | 3.3.0-66 |
| Beschreibung | The Language of Cryptography |
| URL | https://tools.galois.com/cryptol |
| Lizenzen | BSD-3-Clause |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 11.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | cryptol-3.3.0-66-x86_64.pkg.tar.zst |
| PGP-Signatur | cryptol-3.3.0-66-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 5.0 MiB |
| Installations-Größe | 34.4 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghc-libshaskell-ansi-terminalhaskell-arithmoihaskell-asynchaskell-base-compathaskell-blaze-htmlhaskell-bv-sizedhaskell-criterion-measurementhaskell-cryptohash-sha256haskell-extrahaskell-file-embedhaskell-gitrevhaskell-graphscchaskell-heredochaskell-hgmphaskell-language-c99haskell-language-c99-simplehaskell-libbfhaskell-libffihaskell-memotriehaskell-monad-controlhaskell-monadlibhaskell-optparse-applicativehaskell-panichaskell-parameterized-utilshaskell-pretty-showhaskell-prettyprinterhaskell-sbvhaskell-simple-smthaskell-stricthaskell-temporaryhaskell-tf-randomhaskell-toml-parserhaskell-transformers-basehaskell-vectorhaskell-what4z3