nixsearch
nixsearch / pkg / cryptol / 2.9.0

cryptol 2.9.0broken

Cryptol: The Language of Cryptography
Linux last changed

Pin this version

$ devbox add cryptol@2.9.0
systemsx86_64-linux commit1c014d4a0ec4b872d2451612422b337ee604f779
$ nix shell github:NixOS/nixpkgs/1c014d4a0ec4b872d2451612422b337ee604f779#cryptol

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-linux
Linux · x86-64
cryptol 1c014d4a0ec4 broken
all 2 releases older: 2.8.0 →

JSON: /v2/pkg?name=cryptol · /v2/resolve?name=cryptol&version=2.9.0