rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1

[r-ryantm]

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

meta.description for rocqPackages.rocq-elpi is: Rocq plugin embedding ELPI

meta.homepage for rocqPackages.rocq-elpi is: https://github.com/LPCIC/coq-elpi

Updates performed

• Version update

To inspect upstream changes

• Release on GitHub

• Compare changes on GitHub

Impact

Checks done

---

• built on NixOS
• The tests defined in passthru.tests, if any, passed
• found 2.5.1 in filename of file in /nix/store/sqy5p0aayrwamsjb8v6rv0562ncmhm6r-rocq-core9.0-elpi-2.5.1

---

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

31 total rebuild path(s)

31 package rebuild(s)

First fifty rebuilds by attrpath

coqPackages.QuickChick
coqPackages.autosubst
coqPackages.coq-elpi
coqPackages.coqeal
coqPackages.coquelicot
coqPackages.deriving
coqPackages.extructures
coqPackages.fourcolor
coqPackages.gaia
coqPackages.hierarchy-builder
coqPackages.jasmin
coqPackages.mathcomp
coqPackages.mathcomp-algebra
coqPackages.mathcomp-algebra-tactics
coqPackages.mathcomp-bigenough
coqPackages.mathcomp-character
coqPackages.mathcomp-field
coqPackages.mathcomp-fingroup
coqPackages.mathcomp-finmap
coqPackages.mathcomp-real-closed
coqPackages.mathcomp-solvable
coqPackages.mathcomp-ssreflect
coqPackages.mathcomp-tarjan
coqPackages.mathcomp-word
coqPackages.mathcomp-zify
coqPackages.multinomials
coqPackages.odd-order
coqPackages.reglang
coqPackages.ssreflect
rocqPackages.rocq-elpi

Instructions to test this update (click to expand)

---

Either download from the cache:

nix-store -r /nix/store/sqy5p0aayrwamsjb8v6rv0562ncmhm6r-rocq-core9.0-elpi-2.5.1 \
  --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 rocqPackages.rocq-elpi https://github.com/r-ryantm/nixpkgs/archive/81aca8b2efe3fc8c57cb2bede033b1fa94f8a5fc.tar.gz

Or:

nix build github:r-ryantm/nixpkgs/81aca8b2efe3fc8c57cb2bede033b1fa94f8a5fc#rocqPackages.rocq-elpi

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

ls -la /nix/store/sqy5p0aayrwamsjb8v6rv0562ncmhm6r-rocq-core9.0-elpi-2.5.1
ls -la /nix/store/sqy5p0aayrwamsjb8v6rv0562ncmhm6r-rocq-core9.0-elpi-2.5.1/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

✅ 29 packages built:

• coqPackages.QuickChick
• coqPackages.autosubst
• coqPackages.coq-elpi
• coqPackages.coqeal
• coqPackages.coquelicot
• coqPackages.deriving
• coqPackages.extructures
• coqPackages.fourcolor
• coqPackages.gaia
• coqPackages.hierarchy-builder
• coqPackages.jasmin
• coqPackages.mathcomp
• coqPackages.mathcomp-algebra
• coqPackages.mathcomp-algebra-tactics
• coqPackages.mathcomp-bigenough
• coqPackages.mathcomp-character
• coqPackages.mathcomp-field
• coqPackages.mathcomp-fingroup
• coqPackages.mathcomp-finmap
• coqPackages.mathcomp-real-closed
• coqPackages.mathcomp-solvable
• coqPackages.mathcomp-ssreflect
• coqPackages.mathcomp-tarjan
• coqPackages.mathcomp-word
• coqPackages.mathcomp-zify
• coqPackages.multinomials
• coqPackages.odd-order
• coqPackages.reglang
• rocqPackages.rocq-elpi

---

Maintainer pings

cc @CohenCyril 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.

[siraben]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 401001

---

x86_64-linux

✅ 29 packages built:

• coqPackages.QuickChick
• coqPackages.autosubst
• coqPackages.coq-elpi
• coqPackages.coqeal
• coqPackages.coquelicot
• coqPackages.deriving
• coqPackages.extructures
• coqPackages.fourcolor
• coqPackages.gaia
• coqPackages.hierarchy-builder
• coqPackages.jasmin
• coqPackages.mathcomp
• coqPackages.mathcomp-algebra
• coqPackages.mathcomp-algebra-tactics
• coqPackages.mathcomp-bigenough
• coqPackages.mathcomp-character
• coqPackages.mathcomp-field
• coqPackages.mathcomp-fingroup
• coqPackages.mathcomp-finmap
• coqPackages.mathcomp-real-closed
• coqPackages.mathcomp-solvable
• coqPackages.ssreflect (coqPackages.mathcomp-ssreflect)
• coqPackages.mathcomp-tarjan
• coqPackages.mathcomp-word
• coqPackages.mathcomp-zify
• coqPackages.multinomials
• coqPackages.odd-order
• coqPackages.reglang
• rocqPackages.rocq-elpi