Commit graph

5 commits

Author SHA1 Message Date
399a977c2d add signkey revoke
(untested)
2025-12-11 03:20:30 +01:00
7162564cad rm database.ml + ~ master_sig param in pg 2025-12-07 05:31:07 +01:00
e9b7142412 add update_master_signatures 2025-12-07 01:28:15 +01:00
0d17d2a675 secmod: use lock + ht + .mli 2025-12-07 00:32:11 +01:00
846122b49c add secmod_denom.ml secmod_signkey.ml 2025-12-06 23:15:35 +01:00