opam install coq-compcert=3.13 installs VERSON 3.12

AbsInt / CompCert

The CompCert formally-verified C compiler

https://compcert.org

Other

1.88k stars 228 forks source link

opam install coq-compcert=3.13 installs VERSON 3.12 #522

Closed swarnpriya closed 2 months ago

swarnpriya commented 2 months ago

Hello, For a project, I'm trying to install coq-compcert version 3.13. However, when I install it through opam, it installs 3.12 or the version number is not updated correctly.

xavierleroy commented 2 months ago

Right, the version number was not updated in release 3.13. This was fixed by release 3.13.1. You can opam install coq-compcert=3.13.1 if you prefer.