Fix coq 8.3

OCamlPro · Oct 16, 2012 · 4f5b47f · 4f5b47f
1 parent 80b79f4
commit 4f5b47f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/packages/coq.8.3/opam b/packages/coq.8.3/opam
@@ -2,11 +2,11 @@ opam-version: "1"
 maintainer: "contact@ocamlpro.com"
 build: [
   ["./configure"
-     "-configdir" "%{lib}%/coq/config"
-     "-mandir" "%{man}%"
-     "-docdir" "%{doc}%"
-     "--prefix" "%{prefix}%"]
+     "-camlp5dir" "%{lib}%/camlp5"
+     "--prefix" "%{prefix}%"
+     "-docdir" "%{doc}%"]
   ["%{make}%" "world"]
   ["%{make}%" "install"]
 ]
+depends: ["camlp5"]
 depopts: ["lablgtk" {= "2.14.2-oasis8"}]
diff --git a/packages/coq.8.3/url b/packages/coq.8.3/url
@@ -1,2 +1,2 @@
-archive: "http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz"
-checksum: "14b80e6b7075adf1516ab931202be8df"
+archive: "http://coq.inria.fr/distrib/V8.3pl5/files/coq-8.3pl5.tar.gz"
+checksum: "b16741e211e98a3a3870a105aa0cb9fe"