From 9f0640ab94741d1d369d089fec763c9156d6be4f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 19 Mar 2020 15:20:13 +0000
Subject: Lower case folders

---
 src/verilog/dune | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/verilog/dune

(limited to 'src/verilog/dune')

diff --git a/src/verilog/dune b/src/verilog/dune
new file mode 100644
index 0000000..227d4a5
--- /dev/null
+++ b/src/verilog/dune
@@ -0,0 +1,4 @@
+(library
+ (name Verilog)
+ (public_name coqup.verilog)
+ (libraries coqup.extraction))
-- 
cgit