MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 07:46:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Merge pull request #131755 from r-ryantm/auto-update/libpoly

Browse source 
libpoly: 0.1.9 -> 0.1.10
This commit is contained in:
Ben Siraphob 2021-07-31 15:49:23 +07:00 committed by GitHub
commit 72d0a639ce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/poly/default.nix
View file

@ -2,14 +2,14 @@
stdenv.mkDerivation rec {
pname = "libpoly";
version = "0.1.9";
version = "0.1.10";
src = fetchFromGitHub {
owner = "SRI-CSL";
repo = "libpoly";
# they've pushed to the release branch, use explicit tag
rev = "refs/tags/v${version}";
sha256 = "sha256-E2lHo8Bt4ujoGQ623fjkQbqRnDYJYilXdRt4lnF4wJk=";
sha256 = "sha256-22Y4L5NFnCzKwZt0A/ChMuGPU4Dk1Qyke6mdvfN063w=";
};
# https://github.com/SRI-CSL/libpoly/pull/52