This website requires JavaScript.
Explore
Help
Sign In
dev
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
9bf128cad3
nixpkgs
/
pkgs
/
development
/
coq-modules
/
smtcoq
History
Vincent Laporte
6088947f52
coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv
2024-01-18 14:24:48 +01:00
..
cvc4.nix
default.nix
minisat-fenv.patch
