Add x-maintained: false to older packages

Author: jim-portegies

packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.14.1"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -35,6 +35,8 @@ install: [
   ["dune" "install" "-p" "coq-waterproof"]
 ]
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.14.1"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -37,6 +37,8 @@ install: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -33,6 +33,8 @@ build: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.1+8.18/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.18" & < "8.19"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -33,6 +33,8 @@ build: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam

@@ -33,6 +33,8 @@ build: [
 
 available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam

@@ -33,6 +33,8 @@ build: [
 
 available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"