opam-repository/packages/frama-clang/ at fa0e8c74bf53d0b4373e7cf144e08b669d2d1970 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / frama-clang /

at fa0e8c74bf53d0b4373e7cf144e08b669d2d1970 5 folders

frama-clang.0.0.14

not-ocamlfind 0.14: windows bugfixes (#27658)

8 months ago

frama-clang.0.0.15

[frama-clang] add dev-repo: for 0.0.15

2 years ago

frama-clang.0.0.16

[frama-clang] do not launch ci on older distribs with cmake < 3.20

1 year ago

frama-clang.0.0.17

Merge pull request #27071 from Frama-C/frama-c.30.0

1 year ago

frama-clang.0.0.17~beta

new frama-clang package

1 year ago