Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.mathcomp-real-closed 2.0.5 -> 2.0.6 https://github.com/math-comp/real-closed/releases attrpath: coqPackages.mathcomp-real-closed 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-real-closed/default.nix b/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix index 8a8fa9c78a2c..26735827cca7 100644 --- a/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix +++ b/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix @@ -17,7 +17,7 @@ mkRocqDerivation { owner = "math-comp"; inherit version; release = { - "2.0.5".sha256 = "sha256-nns1TF3isv8FpWqtXilfMEVKvR50fvS6MXnYVzbCzVs="; + "2.0.6".sha256 = "sha256-c+0nlNTjTf115vjvnpLrgXye5YdjsWlsCBpGZj+hU9E="; }; defaultVersion = @@ -34,7 +34,7 @@ mkRocqDerivation { lib.switch [ rocq-core.version mathcomp.version ] [ - (case (range "9.0" "9.2") (isGe "2.5.0") "2.0.5") + (case (range "9.0" "9.2") (isGe "2.5.0") "2.0.6") ] null; 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: `a845678e2eb13fd7cda5c442f97eeafbae22d8d8` --- ### `x86_64-linux`
:white_check_mark: 8 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/real-closed/releases. meta.description for coqPackages.mathcomp-real-closed is: Mathematical Components Library on real closed fields meta.homepage for coqPackages.mathcomp-real-closed is: https://github.com/math-comp/real-closed ###### Updates performed - Version update ###### To inspect upstream changes - [Release on GitHub](https://github.com/math-comp/real-closed/releases/tag/2.0.6) - [Compare changes on GitHub](https://github.com/math-comp/real-closed/compare/2.0.5...2.0.6) ###### Impact Checks done --- - built on NixOS - The tests defined in `passthru.tests`, if any, passed - found 2.0.6 in filename of file in /nix/store/d8i1w9m7xg12vkqffjnpk8ifmy718s6h-rocq9.1-mathcomp2.5-real-closed-2.0.6 ---
Rebuild report (if merged into master) (click to expand) ``` 15 total rebuild path(s) 13 package rebuild(s) First fifty rebuilds by attrpath coqPackages.coqeal coqPackages.mathcomp-analysis coqPackages.mathcomp-analysis-stdlib coqPackages.mathcomp-experimental-reals coqPackages.mathcomp-infotheo coqPackages.mathcomp-real-closed coqPackages.ssprove coqPackages.validsdp rocqPackages.mathcomp-analysis rocqPackages.mathcomp-analysis-stdlib rocqPackages.mathcomp-experimental-reals rocqPackages.mathcomp-real-closed ```
Instructions to test this update (click to expand) --- Either **download from the cache**: ``` nix-store -r /nix/store/d8i1w9m7xg12vkqffjnpk8ifmy718s6h-rocq9.1-mathcomp2.5-real-closed-2.0.6 \ --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-real-closed https://github.com/r-ryantm/nixpkgs/archive/a845678e2eb13fd7cda5c442f97eeafbae22d8d8.tar.gz ``` Or: ``` nix build github:r-ryantm/nixpkgs/a845678e2eb13fd7cda5c442f97eeafbae22d8d8#coqPackages.mathcomp-real-closed ``` After you've downloaded or built it, look at the files and if there are any, run the binaries: ``` ls -la /nix/store/d8i1w9m7xg12vkqffjnpk8ifmy718s6h-rocq9.1-mathcomp2.5-real-closed-2.0.6 ls -la /nix/store/d8i1w9m7xg12vkqffjnpk8ifmy718s6h-rocq9.1-mathcomp2.5-real-closed-2.0.6/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: `a845678e2eb13fd7cda5c442f97eeafbae22d8d8` --- ### `x86_64-linux`
:white_check_mark: 8 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/543730