Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: cbb8dfb9 by Ralf Treinen at 2018-12-18T03:10:05Z New upstream version 1.1.1 - - - - - 5cc4e653 by Ralf Treinen at 2018-12-18T03:10:20Z Update upstream source from tag 'upstream/1.1.1' Update to upstream version '1.1.1' with Debian dir 585d9478c620b9bb14d05f58896b43b31eb05e5f - - - - - f3da67fa by Ralf Treinen at 2018-12-18T03:12:00Z new upstream version - - - - - c977ad25 by Ralf Treinen at 2018-12-18T03:51:28Z whitespace in control files - - - - - 30 changed files: - CHANGES.md - Makefile.in - Version - bench/bench - configure - debian/changelog - debian/control - doc/manual.pdf - doc/manual.tex - src/core/ident.ml - src/core/ident.mli - src/mlw/cakeml_printer.ml - src/mlw/compile.ml - src/mlw/cprinter.ml - src/mlw/ity.ml - src/mlw/ity.mli - src/mlw/mlinterp.ml - src/mlw/mltree.ml - src/mlw/ocaml_printer.ml - src/mlw/pmodule.ml - src/mlw/vc.ml - src/session/controller_itp.ml - src/session/controller_itp.mli - src/session/itp_server.ml - src/session/server_utils.ml - src/tools/main.ml - src/tools/why3wc.mll - src/transform/apply.ml - src/transform/generic_arg_trans_utils.ml - src/transform/generic_arg_trans_utils.mli The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/compare/f268c7c60a6e544ac058464ec54c75364541cd0b...c977ad25cc828566b96f4ba8d154799a39f99c05 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/compare/f268c7c60a6e544ac058464ec54c75364541cd0b...c977ad25cc828566b96f4ba8d154799a39f99c05 You're receiving this email because of your account on salsa.debian.org.