Théo Zimmermann 4937cffd27 Update vsrocq (#478436)

2026-02-01 11:44:37 +01:00

..

bignums

…

hierarchy-builder

rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2

2026-01-28 16:40:20 +01:00

mathcomp

Rocq: Update documentation

2026-01-26 13:17:25 +01:00

parseque

treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs

2026-01-06 20:47:21 -05:00

rocq-elpi

ocamlPackages.elpi: 3.4.1 -> 3.4.2

2025-10-17 18:59:18 +02:00

stdlib

…

vsrocq-language-server

coqPackages.vsrocq-language-server: init at 2.3.4

2026-01-14 11:15:59 +01:00