This website requires JavaScript.
Explore
Help
Register
Sign In
BoomMicrophone
/
nixpkgs-suyu
Watch
1
Star
0
Fork
You've already forked nixpkgs-suyu
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
dfe8ace60b
nixpkgs-suyu
/
pkgs
/
development
/
coq-modules
/
corn
History
Pierre Roux
7c0435d86d
Bump a few things compiling with Coq 8.19
2023-12-19 20:20:53 +01:00
..
default.nix
Bump a few things compiling with Coq 8.19
2023-12-19 20:20:53 +01:00