Frama-C incompatible with Coq 8.8.0
ID0002377: This issue was created automatically from Mantis Issue 2377. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002377 | Frama-C | Opam | public | 2018-05-30 | 2018-07-11 |
| Reporter | ramsdell | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | i686 | OS | Fedora | OS Version | 28 |
| Product Version | Frama-C 16-Sulfur | Target Version | - | Fixed in Version | Frama-C 17-Chlorine |
Description :
Installation with opam worked well except that it deleted my modern version of Coq!
Steps To Reproduce :
Install Coq and then install frama-c