Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.mathcomp-finmap 2.2.2 -> 2.2.3 https://github.com/math-comp/finmap/releases attrpath: coqPackages.mathcomp-finmap Checking auto update branch... No auto update branch exists [version] [version] updated version and sha256 [rustCrateVersion] [rustCrateVersion] No cargoHash found [golangModuleVersion] [golangModuleVersion] Not a buildGoModule package with vendorHash [npmDepsVersion] [npmDepsVersion] No npmDepsHash [updateScript] [updateScript] skipping because derivation has no updateScript Diff after rewrites: diff --git a/pkgs/development/rocq-modules/mathcomp-finmap/default.nix b/pkgs/development/rocq-modules/mathcomp-finmap/default.nix index 5fd9b61f82e4..fe98aeb6fc8c 100644 --- a/pkgs/development/rocq-modules/mathcomp-finmap/default.nix +++ b/pkgs/development/rocq-modules/mathcomp-finmap/default.nix @@ -29,11 +29,11 @@ mkRocqDerivation { lib.switch [ rocq-core.rocq-version mathcomp-boot.version ] [ - (case (range "9.0" "9.1") (range "2.3" "2.5") "2.2.2") + (case (range "9.0" "9.1") (range "2.3" "2.5") "2.2.3") ] null; release = { - "2.2.2".sha256 = "sha256-G5fSdx4MhOXtQ2H8lpyK5FuIbWAZNc7vRL3hcYmGA2o="; + "2.2.3".sha256 = "sha256-zqfMFEyD8RBJbElRjr8nGUx4JCAn5t5Jl0x+gbEuOTU="; }; propagatedBuildInputs = [ mathcomp-boot ]; Successfully finished processing [check][nixpkgs-review] ## `nixpkgs-review` result Generated using [`nixpkgs-review`](https://github.com/Mic92/nixpkgs-review). Command: `nixpkgs-review --extra-nixpkgs-config '{ allowBroken = false; }'` Commit: `536306473d08cb42db5e1d5281a119064c5484e3` --- ### `x86_64-linux`
:white_check_mark: 14 packages built:
Automatic update generated by [nixpkgs-update](https://github.com/nix-community/nixpkgs-update) tools. This update was made based on information from https://github.com/math-comp/finmap/releases. meta.description for coqPackages.mathcomp-finmap is: Finset and finmap library meta.homepage for coqPackages.mathcomp-finmap is: https://github.com/math-comp/finmap ###### Updates performed - Version update ###### To inspect upstream changes - [Release on GitHub](https://github.com/math-comp/finmap/releases/tag/2.2.3) - [Compare changes on GitHub](https://github.com/math-comp/finmap/compare/2.2.2...2.2.3) ###### Impact Checks done --- - built on NixOS - The tests defined in `passthru.tests`, if any, passed - found 2.2.3 in filename of file in /nix/store/jzbsx5m1n66a4wm6h74qqrp3xq7kb3l0-rocq-core9.0-mathcomp2.5-finmap-2.2.3 ---
Rebuild report (if merged into master) (click to expand) ``` 16 total rebuild path(s) 16 package rebuild(s) First fifty rebuilds by attrpath coqPackages.coqeal coqPackages.graph-theory coqPackages.libvalidsdp coqPackages.mathcomp-analysis coqPackages.mathcomp-analysis-stdlib coqPackages.mathcomp-classical coqPackages.mathcomp-experimental-reals coqPackages.mathcomp-finmap coqPackages.mathcomp-infotheo coqPackages.mathcomp-reals coqPackages.mathcomp-reals-stdlib coqPackages.multinomials coqPackages.ssprove coqPackages.validsdp rocqPackages.mathcomp-finmap ```
Instructions to test this update (click to expand) --- Either **download from the cache**: ``` nix-store -r /nix/store/jzbsx5m1n66a4wm6h74qqrp3xq7kb3l0-rocq-core9.0-mathcomp2.5-finmap-2.2.3 \ --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 coqPackages.mathcomp-finmap https://github.com/r-ryantm/nixpkgs/archive/536306473d08cb42db5e1d5281a119064c5484e3.tar.gz ``` Or: ``` nix build github:r-ryantm/nixpkgs/536306473d08cb42db5e1d5281a119064c5484e3#coqPackages.mathcomp-finmap ``` After you've downloaded or built it, look at the files and if there are any, run the binaries: ``` ls -la /nix/store/jzbsx5m1n66a4wm6h74qqrp3xq7kb3l0-rocq-core9.0-mathcomp2.5-finmap-2.2.3 ls -la /nix/store/jzbsx5m1n66a4wm6h74qqrp3xq7kb3l0-rocq-core9.0-mathcomp2.5-finmap-2.2.3/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`](https://github.com/Mic92/nixpkgs-review). Command: `nixpkgs-review --extra-nixpkgs-config '{ allowBroken = false; }'` Commit: `536306473d08cb42db5e1d5281a119064c5484e3` --- ### `x86_64-linux`
:white_check_mark: 14 packages built:
--- ###### Maintainer pings > [!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`](https://github.com/NixOS/nixpkgs/blob/master/ci/README.md#nixpkgs-merge-bot). https://api.github.com/repos/NixOS/nixpkgs/pulls/495061