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

Partial #208242

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

..

bignums

…

hierarchy-builder

treewide: clean up 'meta = with' pattern

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

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00

vsrocq-language-server

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

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