This website requires JavaScript.
Explore
Help
Sign In
gador
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
b4e7227802efddadc8e4e632bade0dc86fd52b89
nixpkgs
/
pkgs
/
development
/
rocq-modules
T
History
jstrattonsmith
72f6c87a40
rocqPackages.vsrocq-language-server: init at 2.3.3.
2025-11-19 14:54:09 -05:00
..
bignums
…
hierarchy-builder
…
parseque
rocqPackages.parseque: enable for Rocq 9.1
2025-09-23 11:47:20 +02:00
rocq-elpi
ocamlPackages.elpi: 3.4.1 -> 3.4.2
2025-10-17 18:59:18 +02:00
stdlib
…
vsrocq-language-server
rocqPackages.vsrocq-language-server: init at 2.3.3.
2025-11-19 14:54:09 -05:00
jstrattonsmith