diff --git a/released/packages/coq-plouffe/coq-plouffe.1.5.0/v1.5.0.zip b/released/packages/coq-plouffe/coq-plouffe.1.5.0/v1.5.0.zip deleted file mode 100644 index 100eda8f8..000000000 Binary files a/released/packages/coq-plouffe/coq-plouffe.1.5.0/v1.5.0.zip and /dev/null differ