From 0d516fa1425c88a7df705a1bf5bc9922260cef1c Mon Sep 17 00:00:00 2001
From: Arthur Correnson <arthur.correnson@gmail.com>
Date: Fri, 23 Jul 2021 18:46:48 +0200
Subject: [PATCH] integrates farith2

---
 farith2/dune         | 1 +
 farith2/dune-project | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/farith2/dune b/farith2/dune
index 043208cda..541a416da 100644
--- a/farith2/dune
+++ b/farith2/dune
@@ -2,5 +2,6 @@
 
 (library
  (name farith2)
+ (public_name farith2)
  (libraries zarith)
  (flags "-w" "-33"))
diff --git a/farith2/dune-project b/farith2/dune-project
index c2e46604e..ab8113ad5 100644
--- a/farith2/dune-project
+++ b/farith2/dune-project
@@ -1 +1,7 @@
 (lang dune 2.8)
+
+(generate_opam_files true)
+
+(package
+ (name farith2)
+ (synopsis "formaly verified floating-points valuations based on Flocq"))
-- 
GitLab