Ralf Treinen pushed to branch master at Debian OCaml Maintainers / alt-ergo
Commits: fb872a86 by Ralf Treinen at 2019-02-13T15:39:50Z d/watch: -free releases - - - - - 0986c7d6 by Ralf Treinen at 2019-02-13T15:41:16Z New upstream version 2.0.0 - - - - - 40289b78 by Ralf Treinen at 2019-02-13T15:41:17Z Update upstream source from tag 'upstream/2.0.0' Update to upstream version '2.0.0' with Debian dir 7e30a269ca82de4131a38c79a2d958ec6a26b4b7 - - - - - 5d3d456d by Ralf Treinen at 2019-02-13T15:42:34Z new upstream release - - - - - b10efdf0 by Ralf Treinen at 2019-02-13T15:44:42Z desactivate patch ocplib-simplex-4.0 - - - - - 2f95101a by Ralf Treinen at 2019-02-13T15:49:19Z refresh patch 0001-dont-activate-debug-flags - - - - - c787c62e by Ralf Treinen at 2019-02-13T15:53:30Z drop patch 0002-nonfree-dropped - - - - - e9828b17 by Ralf Treinen at 2019-02-13T16:06:05Z drop patch 0003-set-build-date - - - - - 7accf57a by Ralf Treinen at 2019-02-13T16:12:57Z drop patch spelling - - - - - d7ce653a by Ralf Treinen at 2019-02-13T16:35:33Z license Apache 2.0 - - - - - ed842a91 by Ralf Treinen at 2019-02-13T16:37:56Z https in d/copyright format - - - - - 0d04eda5 by Ralf Treinen at 2019-02-13T16:42:34Z mininal version on build-dep ocplib-simplex - - - - - cb14dc15 by Ralf Treinen at 2019-02-13T16:48:01Z drop patch ocplib-simplex-0.4 - - - - - 28 changed files: - + Apache-License-2.0.txt - CHANGES - COPYING.md - INSTALL.md - + LGPL-License.txt - − LICENSE - + LICENSE.md - + License.OCamlPro - Makefile.configurable.in - + Makefile.developers - Makefile.users - README.md - configure - configure.in - debian/changelog - debian/control - debian/copyright - debian/patches/0001-dont-activate-debug-flag - − debian/patches/0002-non-free-dropped - − debian/patches/0003-allow-set-build-date - − debian/patches/ocplib-simplex-0.4 - debian/patches/series - − debian/patches/spelling - debian/watch - doc/gtk-lang/alt-ergo.lang - examples/valid/quantifiers.why - + lib/.merlin - + lib/frontend/.merlin The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/compare/76ef0d2d48a55ffbd94a2a9c707e90284a29bd28...cb14dc155308370b4d88b2bc80aed20580e67d1e -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/compare/76ef0d2d48a55ffbd94a2a9c707e90284a29bd28...cb14dc155308370b4d88b2bc80aed20580e67d1e You're receiving this email because of your account on salsa.debian.org.