dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
2bfa93e01c
nixpkgs/pkgs/applications/science/logic/abc
History
Luflosi 1a4a178f60
abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04
2023-02-22 02:04:23 +01:00
..
default.nix