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

abella: 2.0.2 -> 2.0.4

Browse Source
This commit is contained in:
Simon Lackerbauer 2017-10-15 16:17:15 +02:00 committed by Robin Gloster
parent bb94e0408f
commit 800f751740
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/abella/default.nix
View File

@ -2,14 +2,14 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "abella-${version}"; name = "abella-${version}";
version = "2.0.2"; version = "2.0.4";
src = fetchurl { src = fetchurl {
url = "http://abella-prover.org/distributions/${name}.tar.gz"; url = "http://abella-prover.org/distributions/${name}.tar.gz";
sha256 = "b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c"; sha256 = "1hnccjlyzwgz7kqsr4xmx9y4wmalbxsj0g6fxdk6xrgpc84ihw2c";
}; };
buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild ]); buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]);
installPhase = '' installPhase = ''
mkdir -p $out/bin mkdir -p $out/bin
@ -32,7 +32,7 @@ stdenv.mkDerivation rec {
''; '';
homepage = http://abella-prover.org/; homepage = http://abella-prover.org/;
license = stdenv.lib.licenses.gpl3; license = stdenv.lib.licenses.gpl3;
maintainers = with stdenv.lib.maintainers; [ bcdarwin ]; maintainers = with stdenv.lib.maintainers; [ bcdarwin ciil ];
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
}; };
} }