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

acl2: 7.4 -> 8.0

Browse Source 
Semi-automatic update; builds on NixOS
This commit is contained in:
Ryan Mulligan 2018-02-24 13:56:56 -08:00 committed by Vincent Laporte
parent 3c04b54205
commit 81f04d6b49
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

@ -3,11 +3,11 @@
sbcl }:
let hashes = {
"7.4" = "04jb789nks9llwysxz1zw9pq1dh0j39b5fcmivcc4bq9v9cga2l1";
"8.0" = "1x1giy2c1y6krg3kf8pf9wrmvk981shv0pxcwi483yjqm90xng4r";
};
in stdenv.mkDerivation rec {
name = "acl2-${version}";
version = "7.4";
version = "8.0";
src = fetchFromGitHub {
owner = "acl2-devel";