easycrypt: 2025.02 -> 2025.03

[r-ryantm]

Automatic update generated by nixpkgs-update tools. This update was made based on information from https://github.com/easycrypt/easycrypt/releases.

meta.description for easycrypt is: Computer-Aided Cryptographic Proofs

meta.homepage for easycrypt is: https://easycrypt.info/

Updates performed

• Version update

To inspect upstream changes

Impact

Checks done

---

• built on NixOS
• The tests defined in passthru.tests, if any, passed
• found 2025.03 with grep in /nix/store/sh56nm4xrm0aznknw6g90xkyx681bhla-easycrypt-2025.03
• found 2025.03 in filename of file in /nix/store/sh56nm4xrm0aznknw6g90xkyx681bhla-easycrypt-2025.03

---

Rebuild report (if merged into master) (click to expand)

3 total rebuild path(s)

3 package rebuild(s)

First fifty rebuilds by attrpath

easycrypt
easycrypt-runtest

Instructions to test this update (click to expand)

---

Either download from the cache:

nix-store -r /nix/store/sh56nm4xrm0aznknw6g90xkyx681bhla-easycrypt-2025.03 \
  --option binary-caches 'https://cache.nixos.org/ https://nixpkgs-update-cache.nix-community.org/' \
  --option trusted-public-keys '
  nixpkgs-update-cache.nix-community.org-1:U8d6wiQecHUPJFSqHN9GSSmNkmdiFW7GW7WNAnHW0SM=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(The nixpkgs-update cache is only trusted for this store-path realization.)
For the cached download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A easycrypt https://github.com/r-ryantm/nixpkgs/archive/c1f06a61fd349f392ff6f80092f6c9713467b413.tar.gz

Or:

nix build github:r-ryantm/nixpkgs/c1f06a61fd349f392ff6f80092f6c9713467b413#easycrypt

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/sh56nm4xrm0aznknw6g90xkyx681bhla-easycrypt-2025.03
ls -la /nix/store/sh56nm4xrm0aznknw6g90xkyx681bhla-easycrypt-2025.03/bin

---

Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as failed to build independent of the
change, simply because they are already broken on the target branch.

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review

---

x86_64-linux

✅ 2 packages built:

• easycrypt
• easycrypt-runtest

---

Maintainer pings

cc @vbgl for testing.

Tip

As a maintainer, if your package is located under pkgs/by-name/*, you can comment @NixOS/nixpkgs-merge-bot merge to automatically merge this update using the nixpkgs-merge-bot.

---

Add a 👍 reaction to pull requests you find important.