From 7f280e818797dd4a78bc0b6118293c709677e9fa Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Mon, 13 Apr 2026 09:30:06 -0400 Subject: [PATCH] registry: assign UNDF IDs 1259-1265 for lean4-0001..0007 --- UNDF-REGISTRY.json | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/UNDF-REGISTRY.json b/UNDF-REGISTRY.json index f26515b6a..daddcb0cf 100644 --- a/UNDF-REGISTRY.json +++ b/UNDF-REGISTRY.json @@ -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" }