Maintainer Mode
Sign in with GitHub

easycrypt-runtest

easycrypt-runtest 2026.09 · pkgs/applications/science/logic/easycrypt/runtest.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
2026.09 no newer release known to repology
Channels
master 2026.09 · nixos-unstable 2026.09 · nixos-26.05 2026.09 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Testing program for EasyCrypt formalizations
Homepage
https://easycrypt.info/
License
MIT
Platforms
79 platforms: Linux, Darwin
Main program
ec-runtest
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/applications/science/logic/easycrypt/runtest.nix:23
Maintainers
vbgl
Version bumps 0all open bumps
None open.
Pull requests 1
python3Packages: deprecate 'format = "other/pyproject"'
#355654 by natsukium · opened 23mo ago
Issues 0
None open.