nixpkgs/pkgs/development/interpreters/acl2
R. RyanTM c5d08e471c acl2: 8.1 -> 8.2
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
2019-05-19 19:31:37 -07:00
..
default.nix acl2: 8.1 -> 8.2 2019-05-19 19:31:37 -07:00