5 commits

Author	SHA1	Message	Date
swrup	85ddb8194f	add devices.ml; denom.ml	2025-10-18 18:13:46 +02:00
swrup	9929a4a324	abstr type for signature	2025-10-17 16:59:32 +02:00
swrup	a27af0ecf1	add timestamps; use Ptime	2025-10-17 15:09:50 +02:00
swrup	112ece6d9a	wip /management	2025-10-16 16:36:34 +02:00
swrup	b27ebea6ee	wip secmod	2025-10-16 08:26:31 +02:00