From 01724c16f84a407109d027572d2faac92f0fa1ce Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 20 Feb 2017 18:02:52 +0000
Subject: [PATCH] .

---
 Posts/Conex | 3 +++
 1 file changed, 3 insertions(+)

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).