Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c
Commits:
-
af54db2a
by Ralf Treinen at 2022-03-20T01:06:47+01:00
30 changed files:
- Changelog
- INSTALL.md
- Makefile
- Makefile.generating
- README.md
- VERSION
- VERSION_CODENAME
- bin/frama-c
- bin/frama-c-config
- bin/frama-c-gui
- bin/frama-c-gui.byte
- bin/frama-c-script
- bin/frama-c.byte
- bin/local_export.sh
- bin/migration_scripts/aluminium2silicon.sh
- bin/migration_scripts/boron2carbon.sh
- bin/migration_scripts/calcium2scandium.sh
- bin/migration_scripts/carbon2nitrogen.sh
- bin/migration_scripts/chlorine2argon.sh
- bin/migration_scripts/fluorine2neon.sh
- bin/migration_scripts/lithium2beryllium.sh
- bin/migration_scripts/magnesium2aluminium.sh
- bin/migration_scripts/neon2sodium.sh
- bin/migration_scripts/nitrogen2oxygen.sh
- bin/migration_scripts/oxygen2fluorine.sh
- bin/migration_scripts/phosphorus2sulfur.sh
- bin/migration_scripts/potassium2calcium.sh
- bin/migration_scripts/silicon2phosphorus.sh
- bin/migration_scripts/sodium2magnesium.sh
- bin/migration_scripts/sulfur2chlorine.sh