diff --git a/Posts/Conex b/Posts/Conex index 8f8e4c6..b1388af 100644 --- a/Posts/Conex +++ b/Posts/Conex @@ -385,6 +385,9 @@ and above) for digest computation and verification of the RSA-PSS signature. The goal is to use the opam2 provided hooks, but before we have signatures we cannot enable them. +See [this testrepo](https://github.com/hannesm/testrepo) for some verification +experiments. + I'm interested in feedback, please open an issue on the [conex repository](https://github.com/hannesm/conex). This article itself is stored as Markdown [in a different repository](https://github.com/hannesm/hannes.nqsb.io).