1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 15:47:28 +00:00
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