Skip to content

Fix Frama-C installation

Guedemann, Matthias requested to merge fix/frama-c into main

Fixes Frama-C installation which used obsolete library packages

  • use opam depext to install correct dependencies

  • do not pin specific frama-c version

Merge request reports

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum