[Pkg-ocaml-maint-commits] [alt-ergo] 03/06: Update upstream source from tag 'upstream/1.30+dfsg1'
Ralf Treinen
treinen at moszumanska.debian.org
Thu Dec 21 19:15:57 UTC 2017
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit e9843b3babf9a16f512ebf8f7c12a2937c09cd7f
Merge: ad6cbd0 a03380a
Author: Ralf Treinen <treinen at free.fr>
Date: Thu Dec 21 19:43:59 2017 +0100
Update upstream source from tag 'upstream/1.30+dfsg1'
Update to upstream version '1.30+dfsg1'
with Debian dir 97a78c381ebe92e7f050b38878300ec2e0ba13d3
non-free/Non-Commercial-License.pdf | Bin 77001 -> 0 bytes
non-free/ctrl-alt-ergo/ctrlAltErgo.ml | 254 ---
non-free/ctrl-alt-ergo/ctrlAltErgo.mli | 11 -
non-free/plugins/common/vec.ml | 172 --
non-free/plugins/common/vec.mli | 59 -
non-free/plugins/fm-simplex/fmSimplexIneqs.ml | 326 ----
non-free/plugins/fm-simplex/fmSimplexIneqs.mli | 11 -
non-free/plugins/fm-simplex/simplex.ml | 1077 ------------
non-free/plugins/fm-simplex/simplex_cache.ml | 113 --
non-free/plugins/profiler/profiler.ml | 680 -------
non-free/plugins/profiler/profiler.mli | 11 -
non-free/plugins/satML/satml.ml | 2250 ------------------------
non-free/plugins/satML/satml.mli | 168 --
non-free/plugins/satML/satml_frontend.ml | 628 -------
non-free/plugins/satML/satml_frontend.mli | 13 -
15 files changed, 5773 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
More information about the Pkg-ocaml-maint-commits
mailing list