Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Renaming of Frama-C opam packages
- Subject: [Frama-c-discuss] Renaming of Frama-C opam packages
- From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Maroneze)
- Date: Wed, 31 Oct 2018 17:34:57 +0100
Dear list, With the upcoming Frama-C 18 (Argon) release, a renaming of all Frama-C opam packages has been performed. Instead of the "YYYYMMVV" format, a numbering based on the atomic element number (XX.Y) is now used. For instance, the first Chlorine release (20180501) is now numbered 17.0, and the second Chlorine release (20180502) is now 17.1. In practical terms, this should have no impact for opam users, except when doing `opam upgrade`; in this case, opam will propose "downgrading" the Frama-C version, as in: Â â downgrade frama-cÂ Â Â Â Â Â Â 20180502 to 17.1 This will simply reinstall the same Frama-C version. This is an unfortunate side-effect of the renaming. Note that users with opam 1.2 (or older) will not see any changes; however, new Frama-C opam packages will not be available on opam 1.2. For the Frama-C team, -- AndrÃ© Maroneze Researcher/Engineer CEA/List Software Reliability and Security Laboratory -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 3797 bytes Desc: S/MIME Cryptographic Signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20181031/3f808a3f/attachment.bin>