[Git][ocaml-team/alt-ergo][upstream] New upstream version 2.0.0

[Ralf Treinen <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.