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