Skip to content

opam upgrade/update failed to update frama-c

ID0002335: This issue was created automatically from Mantis Issue 2335. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002335 Frama-C Kernel public 2017-12-07 2017-12-29
Reporter cdelord Assigned To maroneze Resolution unable to reproduce
Priority normal Severity minor Reproducibility have not tried
Platform Linux x86_64 OS Fedora OS Version 26
Product Version - Target Version - Fixed in Version -

Description :

opam refuses to upgrade from Frama-C Phosphorus to Sulfur because of dependency issues with the legacy frama-c-base package.

Additional Information :

Workaround: opam remove frama-c-base

Steps To Reproduce :

(previous version of frama-c installed with opam) opam update opam upgrade

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information