Repository navigation

fix: drop the overlay's Keel source and 1001 pin; 990 everywhere - #16

Open

marcos-mendez wants to merge 3 commits into

fix/drop-keel-apt-overlay

Commits on Oct 2, 2026
- fix: drop the overlay's Keel source and 1001 pin; 990 everywhere
  navigator
  committed
  1d8d208
- docs: COVERAGE.md says the 1001 pin in the past tense
  navigator
  committed
  b250a53
- fix: the overlay change gets its own changelog entry
  navigator
  committed
  98e210d