| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-01-28 | rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2 | Pierre Roux |
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-08-05 | ocamlPackages.elpi: 2.0.7 -> 3.0.1 | Pierre Roux |
| 2025-07-09 | coqPackages.*: 9.0 -> 9.1 | Pierre Roux |
| 2025-06-30 | coqPackages.*: better formatting fix | Pierre Roux |
| 2025-06-21 | coqPackages.*: fix formatting | Pierre Roux |
| 2025-06-03 | rocqPackages.hierarchy-builder: init at 1.9.1 | Pierre Roux |
