swrup 97e18e2fdc JJ: Description from the destination commit: ... JJ: Description from source commit: rename JJ: Description from source commit: do pg revoke in keys.ml JJ: Description from source commit: + rename JJ: Description from source commit: ~ JJ: Description from source commit: + keys_intf.ml JJ: Description from source commit: wip secmod JJ: Description from source commit: + secmod_eddsa JJ: Description from source commit: + wip copypasta secmod_rsa JJ: Description from source commit: ++ JJ: Description from source commit: + use ht JJ: Description from source commit: + config JJ: Description from source commit: + wip get_future_xx JJ: Description from source commit: + wip clean keys.ml JJ: Description from source commit: + wip ; ok verify future sk JJ: Description from source commit: ok compile JJ: Description from source commit: mv mod_intf.mli JJ: Description from source commit: + rename JJ: Description from source commit: ok secmod JJ: Description from source commit: different verify for master sigs JJ: Description from source commit: rm keys.mli		2026-02-21 23:32:20 +01:00
..
dbinit.sh	add dbinit.sh	2026-02-10 22:11:52 +01:00
dune	add --output-pubkey option; use cmdliner for gana script	2026-02-17 14:38:07 +01:00
gen_registry_files.ml	add --output-pubkey option; use cmdliner for gana script	2026-02-17 14:38:07 +01:00
offline.ml	add --output-pubkey option; use cmdliner for gana script	2026-02-17 14:38:07 +01:00
offline_impl.ml	JJ: Description from the destination commit:	2026-02-21 23:32:20 +01:00
recfile_parser.ml	add --output-pubkey option; use cmdliner for gana script	2026-02-17 14:38:07 +01:00