Pierre Roux 9ad70fb60d Rocq: Update documentation

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

..

bignums

…

hierarchy-builder

treewide: clean up 'meta = with' pattern

2025-12-10 18:09:49 +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

…

stdlib

…

vsrocq-language-server

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

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