From 80471736932aee0a4287345ea8ffb10ca42b7165 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 22 Jul 2015 13:11:18 +0200
Subject: make the opam package meta data

---
 mathcomp/basic/descr | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 mathcomp/basic/descr

(limited to 'mathcomp/basic')

diff --git a/mathcomp/basic/descr b/mathcomp/basic/descr
new file mode 100644
index 0000000..8bbc61e
--- /dev/null
+++ b/mathcomp/basic/descr
@@ -0,0 +1,5 @@
+Mathematical Components Library, basic restults
+
+This library contains definitions and theorems about finite types,
+finite sets, finite functions, finite graphs, basic arithmetics and
+prime numbers, big operators...
\ No newline at end of file
-- 
cgit v1.2.3