ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-14 15:36:47 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #167066 from r-ryantm/auto-update/sollya

Browse Source 
sollya: 7.0 -> 8.0
This commit is contained in:
Bobby Rong 2022-04-28 21:28:41 +08:00 committed by GitHub
commit d6315ad42f
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/development/interpreters/sollya/default.nix
View File

@ -10,11 +10,11 @@
stdenv.mkDerivation rec {
pname = "sollya";
version = "7.0";
version = "8.0";
src = fetchurl {
url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz";
sha256 = "0amrxg7567yy5xqpgchxggjpfr11xyl27vy29c7vlh7v8a17nj1h";
sha256 = "sha256-WNc0+aL8jmczwR+W0t+aslvvJNccQBIw4p8KEzmoEZI=";
};
buildInputs = [ gmp mpfr mpfi libxml2 fplll ];