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

Update ACL2

This commit is contained in:
Michael Raskin 2014-09-01 09:11:32 +04:00
parent a27e27c1f9
commit ef22c53905
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/interpreters/acl2/default.nix
View File

@ -2,7 +2,7 @@ a :
let let
fetchurl = a.fetchurl; fetchurl = a.fetchurl;
version = a.lib.attrByPath ["version"] "v3-5" a; version = a.lib.attrByPath ["version"] "v6-5" a;
buildInputs = with a; [ buildInputs = with a; [
sbcl sbcl
]; ];
@ -10,7 +10,7 @@ in
rec { rec {
src = fetchurl { src = fetchurl {
url = "http://www.cs.utexas.edu/users/moore/acl2/${version}/distrib/acl2.tar.gz"; url = "http://www.cs.utexas.edu/users/moore/acl2/${version}/distrib/acl2.tar.gz";
sha256 = "0zmh1njpp7n7azcyjlygr0h0k51d18s1jkj0dr1jn2bh7mpysajk"; sha256 = "19kfclgpdyms016s06pjf3icj3mx9jlcj8vfgpbx2ac4ls0ir36g";
name = "acl2-${version}.tar.gz"; name = "acl2-${version}.tar.gz";
}; };