From 78b4d07568d5df23bd684e4b21ba63e9920debaa Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 8 Apr 2019 17:45:16 +0200
Subject: switching to opam 2.0 format

---
 mathcomp/ssreflect/descr | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 mathcomp/ssreflect/descr

(limited to 'mathcomp/ssreflect')

diff --git a/mathcomp/ssreflect/descr b/mathcomp/ssreflect/descr
deleted file mode 100644
index f3aeba5..0000000
--- a/mathcomp/ssreflect/descr
+++ /dev/null
@@ -1,8 +0,0 @@
-Small Scale Reflection
-
-This library includes the small scale reflection proof language
-extension and the minimal set of libraries to take advantage of it.
-This includes libraries on lists (seq), boolean and boolean
-predicates, natural numbers and types with decidable equality,
-finite types, finite sets, finite functions, finite graphs, basic arithmetics
-and prime numbers, big operators
-- 
cgit v1.2.3