Pierre Roux a4d52834af rocqPackages.mathcomp: init at 2.5.0

2026-01-12 11:43:45 +01:00

..

bignums

…

hierarchy-builder

treewide: clean up 'meta = with' pattern

2025-12-10 18:09:49 +01:00

mathcomp

rocqPackages.mathcomp: init at 2.5.0

2026-01-12 11:43:45 +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