anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27084 from hannesm/alt-ergo-deprecate

alt-ergo*2.5.0: mark as deprecated instead of avoid-version

authored by

Marcello Seri and committed by
GitHub 359dee63 2ec14c48

+4 -4
+1 -1
packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam
··· 12 12 doc: "https://ocamlpro.github.io/alt-ergo" 13 13 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" 14 14 available: opam-version >= "2.1.0" 15 - flags: [ avoid-version ] 15 + flags: [ deprecated ] 16 16 depends: [ 17 17 "ocaml" {>= "4.08.0"} 18 18 "dune" {>= "3.0"}
+1 -1
packages/alt-ergo-parsers/alt-ergo-parsers.2.5.0/opam
··· 12 12 doc: "https://ocamlpro.github.io/alt-ergo" 13 13 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" 14 14 available: opam-version >= "2.1.0" 15 - flags: [ avoid-version ] 15 + flags: [ deprecated ] 16 16 depends: [ 17 17 "ocaml" {>= "4.08.0"} 18 18 "dune" {>= "3.0"}
+1 -1
packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.0/opam
··· 12 12 doc: "https://ocamlpro.github.io/alt-ergo" 13 13 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" 14 14 available: opam-version >= "2.1.0" 15 - flags: [ avoid-version ] 15 + flags: [ deprecated ] 16 16 depends: [ 17 17 "dune" {>= "3.0"} 18 18 "alt-ergo" {= version}
+1 -1
packages/alt-ergo/alt-ergo.2.5.0/opam
··· 10 10 doc: "https://ocamlpro.github.io/alt-ergo" 11 11 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues" 12 12 available: opam-version >= "2.1.0" 13 - flags: [ avoid-version ] 13 + flags: [ deprecated ] 14 14 depends: [ 15 15 "ocaml" {>= "4.08.0"} 16 16 "dune" {>= "3.0"}