update

7ec36ba0 · benoit · 561c5069 · 7ec36ba0
Commit 7ec36ba0 authored Jan 14, 2021 by benoit
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

packages/coq/coq.8.8.2/opam packages/coq/coq.8.8.2/opam +0 -1

No files found.
--- a/packages/coq/coq.8.8.2/opam
+++ b/packages/coq/coq.8.8.2/opam
@@ -67,7 +67,6 @@ remove: [
    "%{share}%/emacs/site-lisp/gallina-syntax.el"
  ]
 ]
-extra-files: ["coq.install" "md5=6e8ff2905b5508b143a8acb16e3b5150"]
 url {
  src: "packages/coq/coq.8.8.2"
 }