Merge pull request #24024 from emillon/autoconf-fm-simplex-plugin

mseri · web-flow · commit e4f83a7ce717 · 2023-06-29T15:15:23.000+02:00
fm-simplex-plugin.1.01 uses autoconf
diff --git a/packages/fm-simplex-plugin/fm-simplex-plugin.1.01/opam b/packages/fm-simplex-plugin/fm-simplex-plugin.1.01/opam
@@ -25,6 +25,7 @@ depends: [
   "ocaml"
   "zarith"
   "alt-ergo" {= "1.01"}
+  "conf-autoconf"
 ]
 messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]
 synopsis:

Original file line number	Diff line number	Diff line change
`@@ -25,6 +25,7 @@ depends: [`
`25`	`25`	`"ocaml"`
`26`	`26`	`"zarith"`
`27`	`27`	`"alt-ergo" {= "1.01"}`
	`28`	`+ "conf-autoconf"`
`28`	`29`	`]`
`29`	`30`	`messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]`
`30`	`31`	`synopsis:`