nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
e438125d97
nixpkgs/pkgs/development/interpreters/acl2
History
Michael Raskin 60b6d5f8a8 acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release
2018-09-21 19:09:47 +03:00
..
default.nix acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release 2018-09-21 19:09:47 +03:00