This website requires JavaScript.
Explore
Help
Register
Sign In
shelvacu
/
nix-stuff
Watch
1
Star
0
Fork
1
You've already forked nix-stuff
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
master
nix-stuff
/
packages
/
z3
History
Shelvacu
a88a6a5138
z3: 4.13.2 -> 4.15.2
2025-07-12 13:23:52 -07:00
..
package.nix
z3: 4.13.2 -> 4.15.2
2025-07-12 13:23:52 -07:00
pkg-config-fix.patch
…