Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

pkgs/applications/science/logic/easycrypt/

pkgs/applications/science/logic/ · 2 packages and modules · 1 open pull requests

Sign in to watch

Packages and modules 2

easycrypt risk 1

1 open PR

easycrypt-runtest risk 1

1 open PR

Pull requests 1

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

#355654 by natsukium · opened 23mo ago

Closed or merged in the last 60 days 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.