From 4beb3dd093e37d03ff01476c7899785a32ed9616 Mon Sep 17 00:00:00 2001
From: Robert Norton <rmn30@cam.ac.uk>
Date: Mon, 20 May 2019 11:45:51 +0100
Subject: Add descr file for opam.

---
 descr | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 descr

diff --git a/descr b/descr
new file mode 100644
index 0000000..8f657db
--- /dev/null
+++ b/descr
@@ -0,0 +1 @@
+This package installs a RISC-V emulator (32 and 64 bits) built form the Sail model at https://github.com/rems-project/sail-riscv .
\ No newline at end of file
-- 
cgit v1.1