FrontC*.4.0.0: Remove unnecessary field and untag dune as a build dep…

…endency
ocaml · May 5, 2021 · e51ae63 · e51ae63
1 parent 32c4f8a
commit e51ae63
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/packages/FrontC/FrontC.4.0.0/opam b/packages/FrontC/FrontC.4.0.0/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-version: "4.0.0"
 synopsis: "Parses C programs to an abstract syntax tree"
 description:
   "FrontC provides a C parser and an OCaml definition of an abstract syntax treee for the C language. It also includes AST pretty-printers in plain and XML formats."
@@ -11,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
 depends: [
   "ocaml" {>= "4.08.0"}
-  "dune" {>= "2.7" & >= "2.7" & build}
+  "dune" {>= "2.7"}
   "menhir"
   "odoc" {with-doc}
 ]

diff --git a/packages/calipso/calipso.4.0.0/opam b/packages/calipso/calipso.4.0.0/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-version: "4.0.0"
 synopsis: "Rewrites C programs to remove non-structured control-flow"
 description:
   "Calipso analyzes programs in order to replace all nonstructured instructions (i.e., break, return, switch...) by branches and, then, remove all branches. See https://dblp.org/rec/journals/tsi/CasseFRS02 for more details"

diff --git a/packages/ctoxml/ctoxml.4.0.0/opam b/packages/ctoxml/ctoxml.4.0.0/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-version: "4.0.0"
 synopsis: "Parses a C program into Cabs AST and dumps as an XML document"
 maintainer: ["Ivan Gotovchits <ivg@ieee.org>"]
 authors: ["Hugues Cassé <casse@irit.fr> et al"]