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 #26199 from mseri/fix-apron-ub

goblint and apronext are not compatible with new apron

authored by

Marcello Seri and committed by
GitHub ca7f74d6 631f343e

+13 -5
+1 -1
packages/apronext/apronext.1.0.1/opam
··· 14 14 depends: [ 15 15 "dune" {>= "2.1"} 16 16 "ocaml" {>= "4.08"} 17 - "apron" 17 + "apron" {< "0.9.15"} 18 18 ] 19 19 synopsis: "Apron extension" 20 20 description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.2/opam
··· 14 14 depends: [ 15 15 "dune" {>= "2.1"} 16 16 "ocaml" {>= "4.08"} 17 - "apron" 17 + "apron" {< "0.9.15"} 18 18 ] 19 19 synopsis: "Apron extension" 20 20 description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.3/opam
··· 14 14 depends: [ 15 15 "dune" {>= "2.1"} 16 16 "ocaml" {>= "4.08"} 17 - "apron" 17 + "apron" {< "0.9.15"} 18 18 ] 19 19 synopsis: "Apron extension" 20 20 description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0.4/opam
··· 14 14 depends: [ 15 15 "dune" {>= "2.1"} 16 16 "ocaml" {>= "4.08"} 17 - "apron" 17 + "apron" {< "0.9.15"} 18 18 ] 19 19 synopsis: "Apron extension" 20 20 description: "An extension for the OCaml interface of the Apron library"
+1 -1
packages/apronext/apronext.1.0/opam
··· 14 14 depends: [ 15 15 "dune" {>= "2.1"} 16 16 "ocaml" {>= "4.08"} 17 - "apron" 17 + "apron" {< "0.9.15"} 18 18 ] 19 19 synopsis: "Apron extension" 20 20 description: "An extension for the OCaml interface of the Apron library"
+3
packages/goblint/goblint.1.1.1/opam
··· 64 64 ] 65 65 } 66 66 x-commit-hash: "c35cb34d985a98308e65666cfb547f2447045ce9" 67 + conflicts: [ 68 + "apron" {>= "0.9.15"} 69 + ] 67 70 # on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project 68 71 # also remember to generate/adjust goblint.opam.locked! 69 72 # pin-depends: [
+1
packages/goblint/goblint.2.0.0/opam
··· 51 51 conflicts: [ 52 52 "result" {< "1.5"} 53 53 "z3" 54 + "apron" {>= "0.9.15"} 54 55 ] 55 56 build: [ 56 57 ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.0.1/opam
··· 50 50 depopts: ["apron" "z3"] 51 51 conflicts: [ 52 52 "result" {< "1.5"} 53 + "apron" {>= "0.9.15"} 53 54 ] 54 55 build: [ 55 56 ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.1.0/opam
··· 52 52 depopts: ["apron" "z3"] 53 53 conflicts: [ 54 54 "result" {< "1.5"} 55 + "apron" {>= "0.9.15"} 55 56 ] 56 57 build: [ 57 58 ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.2.1/opam
··· 52 52 depopts: ["apron" "z3"] 53 53 conflicts: [ 54 54 "result" {< "1.5"} 55 + "apron" {>= "0.9.15"} 55 56 ] 56 57 build: [ 57 58 ["dune" "subst"] {dev}
+1
packages/goblint/goblint.2.3.0/opam
··· 52 52 depopts: ["apron" "z3"] 53 53 conflicts: [ 54 54 "result" {< "1.5"} 55 + "apron" {>= "0.9.15"} 55 56 ] 56 57 build: [ 57 58 ["dune" "subst"] {dev}