mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-11 15:08:33 +01:00
Update HOL Light to revision 155
This commit is contained in:
parent
34411286a6
commit
42a4178c2b
|
@ -9,11 +9,11 @@ let
|
|||
in
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "hol_light-20130106";
|
||||
name = "hol_light-20130124";
|
||||
src = fetchsvn {
|
||||
url = http://hol-light.googlecode.com/svn/trunk;
|
||||
rev = "154";
|
||||
sha256 = "191232kmbmjvk1f0n7pz0bydqvcnhbi4p2i6jidv7vm01m3nz9f9";
|
||||
rev = "155";
|
||||
sha256 = "057223kcv7y2vcnyzvrygvdafn6mb7ycr1m5rj3fsrwz0yl8dqnr";
|
||||
};
|
||||
|
||||
buildInputs = [ ocaml findlib camlp5 ];
|
||||
|
|
Loading…
Reference in a new issue