diff --git a/released/README.md b/released/README.md
deleted file mode 100644
index f4fd668aa6a11bb170ee1719a7beddcb2ba2532a..0000000000000000000000000000000000000000
--- a/released/README.md
+++ /dev/null
@@ -1,7 +0,0 @@
-# Numerical Analysis in Coq
-
-Formal Developments and Proofs in Coq of Numerical Analysis Problems.
-
-**Authors**: Aubry, Boldo, Clément, Faissole, Leclerc, Martin, Mayero, Mouhcine
-
-Directory for releases. 
diff --git a/released/coq-num-analysis-1.0.0/README.md b/released/coq-num-analysis-1.0.0/README.md
deleted file mode 100644
index 9a595ad44cf4fe17bf3affdf8f14432d18d97a7c..0000000000000000000000000000000000000000
--- a/released/coq-num-analysis-1.0.0/README.md
+++ /dev/null
@@ -1,18 +0,0 @@
-# Numerical Analysis in Coq
-
-Formal Developments and Proofs in Coq of Numerical Analysis Problems.
-
-**Authors**: Aubry, Boldo, Clément, Faissole, Leclerc, Martin, Mayero, Mouhcine
-
-This archive includes several Coq developments:
-
-* *Lebesgue* directory is about the Lebesgue Integration of Nonnegative
-Functions [ (see paper) ](https://hal.inria.fr/hal-03471095v1)
-and Tonelli theorem [ (see paper) ](https://hal.inria.fr/hal-03564379v1)
-
-* *Lebesgue/bochner_integral* directory is about the Bochner integral
-[ (see paper) ](https://hal.inria.fr/hal-03516749v1)
-
-* *LM* directory is about the Lax–Milgram theorem
-[ (see paper) ](https://hal.inria.fr/hal-01391578v1)
-
diff --git a/released/coq-num-analysis-1.0.0/coq-num-analysis-1.0.0.tar.gz b/released/coq-num-analysis-1.0.0/coq-num-analysis-1.0.0.tar.gz
deleted file mode 100644
index dbfd0efb2cb91d0f7ce6f280766c2ab9ffc1700e..0000000000000000000000000000000000000000
Binary files a/released/coq-num-analysis-1.0.0/coq-num-analysis-1.0.0.tar.gz and /dev/null differ