frama-c.20181101 for opam 1.2

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)

Creative Commons Zero v1.0 Universal

96 stars 34 forks source link

Closed maroneze closed 5 years ago

maroneze commented 5 years ago

Backport of Frama-C 18 (Argon) for opam 1.2, following the old version numbering (frama-c.20181101).

fdopen commented 5 years ago

My test setup is already gone. I've just merged it as it is.