Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: af54db2a by Ralf Treinen at 2022-03-20T01:06:47+01:00 New upstream version 20211203-chromium - - - - - c9a213e6 by Ralf Treinen at 2022-03-20T01:24:08+01:00 Update upstream source from tag 'upstream/20211203-chromium' Update to upstream version '20211203-chromium' with Debian dir a6995b979083d93a284794b5f9eb1218d2c8f490 - - - - - fe47d9e5 by Ralf Treinen at 2022-03-20T01:35:49+01:00 patches: removed one, refreshed the others - - - - - f2224378 by Ralf Treinen at 2022-03-20T02:18:14+01:00 usr/lib/libeacsl-dlmalloc.a is now at usr/lib/frama-c/e-acsl - - - - - 7682fa9c by Ralf Treinen at 2022-03-20T08:57:20+01:00 simplify d/copyright, some files have disappeared or changed copyright holder - - - - - dc2be528 by Ralf Treinen at 2022-03-20T09:22:45+01:00 updated test wp to use new syntax of why3 config - - - - - c37572b7 by Ralf Treinen at 2022-03-22T08:02:52+01:00 standards-version 4.6.0 - - - - - 7cf7f861 by Ralf Treinen at 2022-03-23T08:56:35+01:00 upload to sid - - - - - 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/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/b0b5c4beab5b46a3ebe34ca3a6ee5a19294302a5...7cf7f8617a4a47565629ec8e8c0c980cc7a37f0e You're receiving this email because of your account on salsa.debian.org.
