1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 09:31:01 +00:00
nixpkgs/pkgs/applications/science/logic/abc
Will Dietz f731c99e7d abc-verifier: 20160818 -> 2018-07-08
Now hosted on github.
2018-07-12 21:44:56 -05:00
..
default.nix abc-verifier: 20160818 -> 2018-07-08 2018-07-12 21:44:56 -05:00