[Git][ocaml-team/frama-c][master] 7 commits: New upstream version 20220511-manganese

["Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c

Commits:

• 4f9ec6a6
  by Ralf Treinen at 2022-06-18T09:35:49+02:00

  New upstream version 20220511-manganese

• c615c190
  by Ralf Treinen at 2022-06-18T09:40:07+02:00

  Update upstream source from tag 'upstream/20220511-manganese'
  
  Update to upstream version '20220511-manganese'
  with Debian dir 14448b47a5b7055204c2a79bfe0d0b1b31acc4a3
  

• 510061b9
  by Ralf Treinen at 2022-06-18T10:07:28+02:00

  add build-dependency libppx-import-ocaml-dev
  

• d6acf08f
  by Ralf Treinen at 2022-06-18T19:12:41+02:00

  remove mention of plugins ergo, coqwp from debian/copyright
  

• a262866b
  by Ralf Treinen at 2022-06-18T19:40:28+02:00

  standards-version 4.6.1
  

• 32959281
  by Ralf Treinen at 2022-06-18T20:15:29+02:00

  add build-dep libppx-deriving-ocaml-dev
  

• e8147eae
  by Ralf Treinen at 2022-06-18T21:15:22+02: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/chromium2manganese.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

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.