Repository navigation

Fix package build deps - #35

Open

shonfeder wants to merge 2 commits into

PLTools:masterfrom

shonfeder:fix-package-build-deps

Open

Fix package build deps#35
shonfeder wants to merge 2 commits into
PLTools:masterfrom
shonfeder:fix-package-build-deps

Commits on Oct 20, 2026
- Add GT package dep to camlp5 rules
  shonfeder
  committed
  5af554a
- Add GT package dep to mdx test
  shonfeder
  committed
  16856e0