Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: de2fdfb3 by Ralf Treinen at 2021-01-01T16:56:51+01:00 New upstream version 20201209+titanium - - - - - 0e6801d6 by Ralf Treinen at 2021-01-01T16:58:12+01:00 Update upstream source from tag 'upstream/20201209+titanium' Update to upstream version '20201209+titanium' with Debian dir 7c61fc99ed62abab2c5f41fe4155bcc5988ccb68 - - - - - 579e18e0 by Ralf Treinen at 2021-01-01T17:11:23+01:00 refresh patches - - - - - add3b339 by Ralf Treinen at 2021-01-01T17:22:58+01:00 drop patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas - - - - - 8b347854 by Ralf Treinen at 2021-01-01T17:30:04+01:00 standards-version 4.5.1 - - - - - 82e2aff2 by Ralf Treinen at 2021-01-01T17:31:05+01:00 rules-requires-root=no - - - - - 5e043798 by Ralf Treinen at 2021-01-02T09:55:08+01:00 update package description - - - - - 5d41a77c by Ralf Treinen at 2021-01-02T12:26:29+01:00 as-installed test wp - - - - - ad37b0b0 by Ralf Treinen at 2021-01-02T12:26:35+01:00 add filter for spamassassin executable - - - - - f7ef0a17 by Ralf Treinen at 2021-01-02T12:27:55+01:00 New upstream version 20201209+titanium - - - - - eb9f5c53 by Ralf Treinen at 2021-01-02T12:28:38+01:00 Update upstream source from tag 'upstream/20201209+titanium' Update to upstream version '20201209+titanium' with Debian dir fb83e20c8dfa1ddb067e9b9eef2d2ea3d3fced83 - - - - - 30 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c-script - config.h.in - configure - configure.in - debian/changelog - debian/control - debian/gbp.conf - debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch - debian/patches/0003-Disable-CHMOD_RO-invocations.patch - − debian/patches/0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch - debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch - debian/patches/series - + debian/tests/c/all_zeros.c - + debian/tests/control - + debian/tests/wp - doc/code/docgen.ml - man/frama-c.1 - opam/opam - ptests/ptests.ml - share/Makefile.config.in - share/_frama-c - share/analysis-scripts/README.md - + share/analysis-scripts/analysis.mk The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/7142b6be1dc99a14078a932263bdd7315c11c56b...eb9f5c53230a71e59387feb6c888a9f13deacb2d -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/7142b6be1dc99a14078a932263bdd7315c11c56b...eb9f5c53230a71e59387feb6c888a9f13deacb2d You're receiving this email because of your account on salsa.debian.org.
