Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / alt-ergo
Commits: 0986c7d6 by Ralf Treinen at 2019-02-13T15:41:16Z New upstream version 2.0.0 - - - - - 25 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 - doc/gtk-lang/alt-ergo.lang - examples/valid/quantifiers.why - + lib/.merlin - + lib/frontend/.merlin - src/preprocess/cnf.ml → lib/frontend/cnf.ml - src/preprocess/cnf.mli → lib/frontend/cnf.mli - src/main/frontend.ml → lib/frontend/frontend.ml - src/main/frontend.mli → lib/frontend/frontend.mli - + lib/frontend/parsed_interface.ml - + lib/frontend/parsed_interface.mli - + lib/frontend/parsers.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/commit/0986c7d662372e0c75cdf75baeb4f5dfea7263f9 -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/commit/0986c7d662372e0c75cdf75baeb4f5dfea7263f9 You're receiving this email because of your account on salsa.debian.org.