engineering/java-topology
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

registry: assign UNDF IDs 1259-1265 for lean4-0001..0007

Browse source
This commit is contained in:
russell@unturf.com 2026-04-13 09:30:06 -04:00
parent 5451e1748b
commit 7f280e8187
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
UNDF-REGISTRY.json
View file

@ -1256,5 +1256,12 @@
"netbsd-0001": "UNDF-2026-000001255",
"netbsd-0002": "UNDF-2026-000001256",
"netbsd-0003": "UNDF-2026-000001257",
"netbsd-0004": "UNDF-2026-000001258"
"netbsd-0004": "UNDF-2026-000001258",
"lean4-0001": "UNDF-2026-000001259",
"lean4-0002": "UNDF-2026-000001260",
"lean4-0003": "UNDF-2026-000001261",
"lean4-0004": "UNDF-2026-000001262",
"lean4-0005": "UNDF-2026-000001263",
"lean4-0006": "UNDF-2026-000001264",
"lean4-0007": "UNDF-2026-000001265"
}