diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-09-21 13:07:07 +0300 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2018-09-21 13:07:40 +0300 |
commit | de764e65f0d655c6cdd9fca23abd101290a2a6b6 (patch) | |
tree | a384907e9fee20e1484e009a06fb975e9d837733 /pkgs/development/interpreters | |
parent | 06df7c9a332d884d74e498f3fb1ae31bb3d6976c (diff) | |
download | nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar.gz nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar.bz2 nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar.lz nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar.xz nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.tar.zst nixlib-de764e65f0d655c6cdd9fca23abd101290a2a6b6.zip |
acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCL
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index 14b9a78af46e..a0da6e0ee7f8 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -4,15 +4,20 @@ let hashes = { "8.0" = "1x1giy2c1y6krg3kf8pf9wrmvk981shv0pxcwi483yjqm90xng4r"; + "8.0.post.2018.09.20" = "1dj1dkkj6drk23h7cckyhcfplyzqlbz288wpxm77zr0gazxz8mw6"; +}; +revs = { + "8.0" = "8.0"; + "8.0.post.2018.09.20" = "531089336bb1734ff82c7b3b3fc05917451db770"; }; in stdenv.mkDerivation rec { name = "acl2-${version}"; - version = "8.0"; + version = "8.0.post.2018.09.20"; src = fetchFromGitHub { owner = "acl2-devel"; repo = "acl2-devel"; - rev = "${version}"; + rev = revs."${version}"; sha256 = hashes."${version}"; }; |