nixpkgs/pkgs/development/interpreters/acl2
2023-12-06 12:30:03 -05:00
..
libipasirglucose4 treewide: s_targetPlatform_hostPlatform_ in non-compiler packages 2023-11-17 08:07:34 +00:00
0001-Fix-some-paths-for-Nix-build.patch
default.nix python3Packages.z3-solver: rename from z3 2023-12-06 12:30:03 -05:00