public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ssreflect: 1.4 -> 1.5

Browse Source
This commit is contained in:
John Wiegley 2014-08-19 16:03:10 -05:00
parent 477eb18d18
commit 708e16e675
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/ssreflect/default.nix
View File

@ -6,7 +6,7 @@
let let
pname = "ssreflect"; pname = "ssreflect";
version = "1.4"; version = "1.5";
name = "${pname}-${version}"; name = "${pname}-${version}";
webpage = http://www.msr-inria.inria.fr/Projects/math-components; webpage = http://www.msr-inria.inria.fr/Projects/math-components;
in in
@ -15,8 +15,8 @@ stdenv.mkDerivation {
inherit name; inherit name;
src = fetchurl { src = fetchurl {
url = "http://ssr.msr-inria.inria.fr/FTP/${name}-coq8.4.tar.gz"; url = "http://ssr.msr-inria.inria.fr/FTP/${name}.tar.gz";
sha256 = "1ysx29xw09i86lq0d92z9cnyx133jfgq4qddy3501000fn7xwi7h"; sha256 = "0hm1ha7sxqfqhc7iwhx6zdz3nki4rj5nfd3ab24hmz8v7mlpinds";
}; };
buildInputs = [ ocaml camlp5 coq makeWrapper ]; buildInputs = [ ocaml camlp5 coq makeWrapper ];