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/algebra/descr | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 mathcomp/algebra/descr

(limited to 'mathcomp/algebra')

diff --git a/mathcomp/algebra/descr b/mathcomp/algebra/descr
deleted file mode 100644
index cab419f..0000000
--- a/mathcomp/algebra/descr
+++ /dev/null
@@ -1,6 +0,0 @@
-Mathematical Components Library on Algebra
-
-This library contains definitions and theorems about discrete
-(i.e. with decidable equality) algebraic structures : ring, fields,
-ordered fields, real fields,  modules, algebras, integers, rational
-numbers, polynomials, matrices, vector spaces...
\ No newline at end of file
-- 
cgit v1.2.3