ID0002464: **This issue was created automatically from Mantis Issue 2464. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002464 | Frama-C | Opam | public | 2019-07-11 | 2020-02-17 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | davidcok | **Assigned To** | correnson | **Resolution** | fixed | | **Priority** | high | **Severity** | major | **Reproducibility** | always | | **Platform** | MAC | **OS** | OSX | **OS Version** | 10.12.6 (SIERRA) | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | Frama-C 20-Calcium | ### Description : opam install frama-c on Mac wants to downgrade alt-ergo to version 2.1.0 (instead of 2.3.0) but 2.1.0 fails to build with the error # Error: Unbound module Zip # make: *** [lib/util/myZip.cmx] Error 2 ### Steps To Reproduce : opam install frama-c