This website requires JavaScript.
Explore
Help
Sign In
Dawoox
/
nixpkgs
Watch
1
Star
1
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
Files
07023a3efd67cde5f784ec66a59d3b5c39b00ffe
nixpkgs
/
pkgs
/
by-name
/
cv
/
cvc4
History
…
..
cvc4-bash-patsub-replacement.patch
…
minisat-fenv.patch
…
package.nix
…