diff options
author | Keshav Kini <keshav.kini@gmail.com> | 2020-04-22 16:47:27 -0700 |
---|---|---|
committer | Keshav Kini <keshav.kini@gmail.com> | 2020-04-23 17:15:41 -0700 |
commit | 7fb25b93a4e3fcf8e51a5bdff6498da9ea5d0467 (patch) | |
tree | fcc7847e38108f97172f452dc2c2d852c598ac08 /pkgs/development/interpreters/acl2 | |
parent | 324dd670139e8e9e8b8612750c679f3fd210a298 (diff) |
acl2: 8.2 -> 8.3
Diffstat (limited to 'pkgs/development/interpreters/acl2')
-rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index 9445d42f24e4..39b243a0ce6a 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -4,15 +4,15 @@ let hashes = { "8.0" = "1x1giy2c1y6krg3kf8pf9wrmvk981shv0pxcwi483yjqm90xng4r"; - "8.2" = "1x33kv6w9cbqzvyrihn61pzmqlvnk3drm8ksd5v0arg38i95awi3"; + "8.3" = "0c0wimaf16nrr3d6cxq6p7nr7rxffvpmn66hkpwc1m6zpcipf0y5"; }; revs = { "8.0" = "8.0"; - "8.2" = "8.2"; + "8.3" = "8.3"; }; in stdenv.mkDerivation rec { pname = "acl2"; - version = "8.2"; + version = "8.3"; src = fetchFromGitHub { owner = "acl2-devel"; @@ -72,6 +72,7 @@ in stdenv.mkDerivation rec { #[ free bsd3 mit gpl2 llgpl21 cc0 publicDomain ]; license = stdenv.lib.licenses.bsd3; maintainers = with stdenv.lib.maintainers; [ kini raskin ]; - platforms = stdenv.lib.platforms.linux; + platforms = stdenv.lib.platforms.all; + broken = stdenv.isAarch64 && stdenv.isLinux; }; } |