Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c
Commits: de2fdfb3 by Ralf Treinen at 2021-01-01T16:56:51+01:00 New upstream version 20201209+titanium - - - - - f7ef0a17 by Ralf Treinen at 2021-01-02T12:27:55+01:00 New upstream version 20201209+titanium - - - - - 29 changed files: - Changelog - INSTALL.md - Makefile - Makefile.generating - README.md - VERSION - VERSION_CODENAME - bin/frama-c-script - config.h.in - configure - configure.in - 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 - share/analysis-scripts/cmd-dep.sh - + share/analysis-scripts/epilogue.mk - − share/analysis-scripts/examples/Makefile - − share/analysis-scripts/examples/example-multi.mk - − share/analysis-scripts/examples/example-slevel.mk - − share/analysis-scripts/examples/example.c - − share/analysis-scripts/examples/example.mk - share/analysis-scripts/find_fun.py - − share/analysis-scripts/frama-c.mk - + share/analysis-scripts/function_finder.py The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/cc0f35582fb30d3fdc83fbf96da7755767769ccb...f7ef0a17be93be58574b34e0ec3e68996a2df459 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/cc0f35582fb30d3fdc83fbf96da7755767769ccb...f7ef0a17be93be58574b34e0ec3e68996a2df459 You're receiving this email because of your account on salsa.debian.org.
