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 New upstream version 20211203-chromium - - - - - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/af54db2a0be36ad9ab0a44ced6afdf3d64f243f0 You're receiving this email because of your account on salsa.debian.org.
