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 #21413 from mseri/farama-c-ub

update upper bounds on frama-c 25.0~beta

authored by

Marcello Seri and committed by
GitHub 00777c1a 103be3e9

+3 -3
+1 -1
packages/deadlock/deadlock.1.0/opam
··· 12 12 13 13 depends: [ 14 14 "ocaml" { >= "4.12.0" } 15 - "frama-c" { >= "23.1" } 15 + "frama-c" { >= "23.1" & < "25.0~" } 16 16 "ounit2" 17 17 "containers" 18 18 ]
+1 -1
packages/frama-c-lannotate/frama-c-lannotate.0.1/opam
··· 43 43 depends: [ 44 44 "conf-autoconf" 45 45 "ocaml" { >= "4.08.1" } 46 - "frama-c" { >= "24.0" & < "25.0" } 46 + "frama-c" { >= "24.0" & < "25.0~" } 47 47 ]
+1 -1
packages/frama-c-metacsl/frama-c-metacsl.0.2/opam
··· 41 41 42 42 depends: [ 43 43 "ocaml" { >= "4.08.1" } 44 - "frama-c" { >= "24.0" & < "25.0" } 44 + "frama-c" { >= "24.0" & < "25.0~" } 45 45 "why3" { >= "1.3.1" } 46 46 ] 47 47