diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-04-27 13:25:19 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-04-27 13:31:36 -0500 |
commit | 0f1f2115e91edb65ad3b4edea08ffeb96665a5c1 (patch) | |
tree | acfbd1544ab2e893ffc4211212872b978add54b9 /pkgs/applications/editors | |
parent | 68598530456af239bd4bb2c1346d29d7fe7b280f (diff) | |
download | nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar.gz nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar.bz2 nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar.lz nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar.xz nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.tar.zst nixlib-0f1f2115e91edb65ad3b4edea08ffeb96665a5c1.zip |
hol_light: fix script, upgrade to r189
This also tweaks the version number to just use the SVN revision (rather than date), since it's unambiguous and increasing anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/editors')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/hol_light/default.nix | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/pkgs/applications/editors/emacs-modes/hol_light/default.nix b/pkgs/applications/editors/emacs-modes/hol_light/default.nix index 24eba20be6cc..c32669239f88 100644 --- a/pkgs/applications/editors/emacs-modes/hol_light/default.nix +++ b/pkgs/applications/editors/emacs-modes/hol_light/default.nix @@ -1,15 +1,12 @@ -{stdenv, fetchsvn}: +{ stdenv, fetchsvn }: -let - revision = "73"; -in - -stdenv.mkDerivation { - name = "hol_light_mode-${revision}"; +stdenv.mkDerivation rec { + name = "hol_light-mode-${version}"; + version = "73"; src = fetchsvn { url = http://seanmcl-ocaml-lib.googlecode.com/svn/trunk/workshop/software/emacs; - rev = revision; + rev = version; sha256 = "3ca83098960439da149a47e1caff32536601559a77f04822be742a390c67feb7"; }; @@ -20,6 +17,10 @@ stdenv.mkDerivation { ''; meta = { - description = "A HOL Light mode for emacs"; + description = "A HOL Light mode for Emacs"; + homepage = http://www.cl.cam.ac.uk/~jrh13/hol-light/; + license = stdenv.lib.licenses.gpl2Plus; + platforms = stdenv.lib.platforms.all; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; } |