From 5cf10a4c70763cbb95747b19ac35b57a9dee4dd5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 24 Jul 2020 10:22:13 +0100 Subject: More renames to get it to compile --- vericert.opam | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 vericert.opam (limited to 'vericert.opam') diff --git a/vericert.opam b/vericert.opam new file mode 100644 index 0000000..e69de29 -- cgit