--- rpl/Makefile.am	2019/07/16 15:17:15	1.88
+++ rpl/Makefile.am	2019/11/14 18:53:43	1.89
@@ -9,8 +9,7 @@ EXTRA_DIST = LIMITATIONS Licence_CeCILL_
 		vim/syntax/rpl.vim examples/obele.rpl examples/appel.tar.gz \
 		examples/external.tar.gz DEBIAN/control.in \
 		rplcas/@GMP@.tar.gz rplcas/@MPFR@.tar.gz rplcas/@NTL@.tar.gz \
-		rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz \
-		rplcas/@MPFI@.tar.gz
+		rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz rplcas/@MPFI@.tar.gz
 
 all:
 	@if [ x"$(shell $(MAKE) -v | grep '^GNU Make')" = x ]; then \