archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-13 21:56:29 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/rocq-modules
History
Exact
jstrattonsmith 72f6c87a40 rocqPackages.vsrocq-language-server: init at 2.3.3.
2025-11-19 14:54:09 -05:00
..
bignums rocq-core_9_1: init at 9.1+rc1 2025-07-08 10:55:59 +02:00
hierarchy-builder ocamlPackages.elpi: 2.0.7 -> 3.0.1 2025-08-05 15:59:09 +02:00
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 treewide: conform descriptions to the standards 2025-07-28 04:39:00 +00:00
vsrocq-language-server rocqPackages.vsrocq-language-server: init at 2.3.3. 2025-11-19 14:54:09 -05:00