easycrypt

easycrypt 2026.09 · pkgs/applications/science/logic/easycrypt/default.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 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Computer-Aided Cryptographic Proofs

Homepage

https://easycrypt.info/

License

Platforms

79 platforms: Linux, Darwin

Main program

easycrypt

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/applications/science/logic/easycrypt/default.nix:69

Maintainers

Version bumps 0all open bumps

None open.

Pull requests 1

python3Packages: deprecate 'format = "other/pyproject"'

#355654 by natsukium · opened 23mo ago

Closed or merged in the synced window 2

[Backport release-26.05] easycrypt: 2026.07 -> 2026.09

#563918 by nixpkgs-ci · merged 4w ago

easycrypt: 2026.07 -> 2026.09

#560298 by r-ryantm · merged 5w ago

Issues 0

None open.