jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
b1687d1533
nixpkgs/pkgs/development/interpreters/acl2
History
Yifei Sun 3d0affa9c9
python3Packages.z3-solver: rename from z3
2023-12-06 12:30:03 -05:00
..
libipasirglucose4
0001-Fix-some-paths-for-Nix-build.patch
default.nix