Disable quotation opam module dependency

mattam82 · mattam82 · commit 1dd89940da55 · 2023-11-30T14:04:52.000+01:00
diff --git a/coq-metacoq.opam b/coq-metacoq.opam
@@ -24,7 +24,7 @@ depends: [
   "coq-metacoq-safechecker-plugin" {= version}
   "coq-metacoq-erasure-plugin" {= version}
   "coq-metacoq-translations" {= version}
-  "coq-metacoq-quotation" {= version}
+#  "coq-metacoq-quotation" {= version}
 ]
 build: [
   ["bash" "./configure.sh" ] {with-test}

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ depends: [`
`24`	`24`	`"coq-metacoq-safechecker-plugin" {= version}`
`25`	`25`	`"coq-metacoq-erasure-plugin" {= version}`
`26`	`26`	`"coq-metacoq-translations" {= version}`
`27`		`- "coq-metacoq-quotation" {= version}`
	`27`	`+# "coq-metacoq-quotation" {= version}`
`28`	`28`	`]`
`29`	`29`	`build: [`
`30`	`30`	`["bash" "./configure.sh" ] {with-test}`