Repository navigation

feat: make the repository a KerML 10.3 project interchange - #13

Merged

HuiJun merged 3 commits into

mainfrom

feature/project-interchange-manifests

Oct 27, 2026

Merged

feat: make the repository a KerML 10.3 project interchange#13
HuiJun merged 3 commits into
mainfrom
feature/project-interchange-manifests

Commits on Oct 25, 2026
- feat: make the repository a KerML 10.3 project interchange
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  c7dd006
Commits on Oct 26, 2026
- docs: name the package by its pkg:git IRI and the manager that installs it
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  37f6bb9
- fix: reject a unit declaring two top-level packages; name no package manager
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  18e8613