Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Blame Permalink
opam-version-correspondence.md 581 B

Correspondence between versions of Frama-C opam packages

This file lists the mapping between "old numbering" of opam packages and "new numbering", including the atomic element name.

20111001 - 7.0 (Nitrogen) 20120901 - 8.0 (Oxygen) 20130501 - 9.0 (Fluorine) 20130601 - 9.1 (Fluorine) 20140301 - 10.0 (Neon) 20150201 - 11.0 (Sodium) 20151002 - 12.1 (Magnesium) 20160502 - 13.1 (Aluminium) 20161101 - 14.0 (Silicon) 20170501 - 15.0 (Phosphorus) 20171101 - 16.0 (Sulfur) 20180501 - 17.0 (Chlorine) 20180502 - 17.1 (Chlorine)