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 (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: <>