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

acl2: 8.1 -> 8.2

Browse Source 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/acl2/versions
This commit is contained in:
R. RyanTM 2019-05-19 19:31:37 -07:00
parent 8abe5ee07e
commit c5d08e471c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,15 +4,15 @@
let hashes = { let hashes = {
"8.0" = "1x1giy2c1y6krg3kf8pf9wrmvk981shv0pxcwi483yjqm90xng4r"; "8.0" = "1x1giy2c1y6krg3kf8pf9wrmvk981shv0pxcwi483yjqm90xng4r";
"8.1" = "0isi75j94q79x4341rhd94c60228iwvccy71ssnyvh1025m93xcd"; "8.2" = "1x33kv6w9cbqzvyrihn61pzmqlvnk3drm8ksd5v0arg38i95awi3";
}; };
revs = { revs = {
"8.0" = "8.0"; "8.0" = "8.0";
"8.1" = "8.1"; "8.2" = "8.2";
}; };
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "acl2-${version}"; name = "acl2-${version}";
version = "8.1"; version = "8.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "acl2-devel"; owner = "acl2-devel";