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

Update hol_light to r198. Add myself as a maintainer

Browse Source
This commit is contained in:
Marco Maggesi 2014-09-16 16:55:56 +02:00
parent 3224b32e64
commit 6110679bee
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/hol_light/default.nix
View File

@ -7,14 +7,15 @@ let
exec ${ocaml}/bin/ocaml -I \`${camlp5}/bin/camlp5 -where\` -init make.ml exec ${ocaml}/bin/ocaml -I \`${camlp5}/bin/camlp5 -where\` -init make.ml
''; '';
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "hol_light-${version}"; name = "hol_light-${version}";
version = "189"; version = "198";
src = fetchsvn { src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk; url = http://hol-light.googlecode.com/svn/trunk;
rev = version; rev = version;
sha256 = "1v10l64rs7da2kag3wlb651i09pn83icy9n5z84j8h1iwlxzajdh"; sha256 = "1y7vivj5l84fb7wqn38qbykpgs8ql2gmqxxch1yn5mg1cf9iiqsx";
}; };
buildInputs = [ ocaml findlib camlp5 ]; buildInputs = [ ocaml findlib camlp5 ];
@ -26,11 +27,11 @@ stdenv.mkDerivation rec {
chmod a+x "$out/bin/hol_light" chmod a+x "$out/bin/hol_light"
''; '';
meta = { meta = with stdenv.lib; {
description = "Interactive theorem prover based on Higher-Order Logic"; description = "Interactive theorem prover based on Higher-Order Logic";
homepage = http://www.cl.cam.ac.uk/~jrh13/hol-light/; homepage = http://www.cl.cam.ac.uk/~jrh13/hol-light/;
license = stdenv.lib.licenses.bsd2; license = licenses.bsd2;
platforms = stdenv.lib.platforms.unix; platforms = platforms.unix;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; maintainers = with maintainers; [ thoughtpolice z77z ];
}; };
} }