[Pkg-ocaml-maint-commits] [coq] 05/05: set version to beta3 in debian/rules
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit b39748fd08b03dbf5bc1530fd8af3de3e7bd8cb5 Author: Enrico Tassi Date: Sat Nov 14 09:45:53 2015 +0100 set version to beta3 in debian/rules --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index c57e9a0..41c08ae 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.5beta2 +COQ_VERSION := 8.5beta3 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] 01/02: pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq. commit 75a2e44cc4426bdea05f5469434a0a0bfbb2f401 Author: Enrico Tassi Date: Fri Nov 13 11:31:36 2015 +0100 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz --- coq_8.5~beta3+dfsg.orig.tar.gz.delta | Bin 0 -> 78109 bytes coq_8.5~beta3+dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/coq_8.5~beta3+dfsg.orig.tar.gz.delta b/coq_8.5~beta3+dfsg.orig.tar.gz.delta new file mode 100644 index 000..2bbadb4 Binary files /dev/null and b/coq_8.5~beta3+dfsg.orig.tar.gz.delta differ diff --git a/coq_8.5~beta3+dfsg.orig.tar.gz.id b/coq_8.5~beta3+dfsg.orig.tar.gz.id new file mode 100644 index 000..0329a2a --- /dev/null +++ b/coq_8.5~beta3+dfsg.orig.tar.gz.id @@ -0,0 +1 @@ +074182834cb406d1304aec4233718564a9c06ba1 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] 03/05: Imported Upstream version 8.5~beta3+dfsg
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 4e76c4f01b69b77f40686e06c4544aa156efaa5a Merge: 64fa31c 91dbeab Author: Enrico Tassi Date: Fri Nov 13 11:43:34 2015 +0100 Imported Upstream version 8.5~beta3+dfsg .gitattributes | 5 + .mailmap | 89 + CHANGES| 134 ++- INSTALL| 10 +- INSTALL.doc| 28 +- INSTALL.ide| 2 +- Makefile | 3 +- Makefile.build | 22 +- Makefile.common| 13 +- Makefile.doc | 26 +- README.doc | 0 checker/analyze.ml | 350 ++ checker/analyze.mli| 35 ++ checker/check.ml | 53 ++- checker/check.mllib| 4 +- checker/check_stat.ml | 18 +- checker/checker.ml | 34 +- checker/cic.mli| 21 +- checker/closure.ml | 11 +- checker/closure.mli| 4 +- checker/declarations.ml| 19 +- checker/declarations.mli | 5 +- checker/environ.ml | 48 ++- checker/environ.mli| 8 +- checker/indtypes.ml| 12 +- checker/inductive.ml | 92 ++--- checker/mod_checking.ml| 22 +- checker/modops.ml | 7 +- checker/print.ml | 2 +- checker/reduction.ml | 15 +- checker/safe_typing.ml | 30 +- checker/safe_typing.mli| 4 +- checker/term.ml| 2 +- checker/typeops.ml | 2 +- checker/univ.ml| 87 +++-- checker/univ.mli | 20 +- checker/values.ml | 26 +- checker/votour.ml | 140 ++- configure.ml | 46 ++- dev/TODO | 22 ++ dev/base_include | 2 + dev/doc/README-V1-V5 | 293 +++ dev/doc/univpoly.txt | 50 ++- dev/doc/versions-history.tex | 109 +- dev/make-installer-win32.sh| 4 +- ...-installer-win32.sh => make-installer-win64.sh} | 12 +- dev/nsis/coq.nsi | 4 +- dev/printers.mllib | 6 +- dev/top_printers.ml| 5 + dev/v8-syntax/memo-v8.tex | 2 +- dev/vm_printers.ml | 10 +- doc/stdlib/Library.tex | 0 doc/stdlib/index-list.html.template| 10 +- grammar/grammar.mllib | 5 +- grammar/tacextend.ml4 | 12 +- grammar/vernacextend.ml4 | 2 + ide/config_lexer.mll | 2 +- ide/coq-ssreflect.lang | 1 + ide/coq.lang | 363 ++- ide/coq.mli| 6 +- ide/coqOps.ml | 11 +- ide/coqide.ml | 12 +- ide/ide_slave.ml | 18 +- ide/ideutils.ml| 2 +- ide/interface.mli | 1 + ide/preferences.ml | 33 +- ide/session.ml | 20 +- ide/utf8_convert.mll | 2 +- ide/wg_ProofView.ml| 23 +- ide/wg_ScriptView.ml | 2 +- ide/xmlprotocol.ml | 4 + interp/constrintern.ml | 21 +- interp/constrintern.mli| 10 +- interp/coqlib.ml | 11 +- interp/implicit_quantifiers.ml | 16 +- interp/implicit_quantifiers.mli
[Pkg-ocaml-maint-commits] [coq] 04/05: beta3
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit fe5b47f90e0e701ffb13f107f4baa38070ce88ca Author: Enrico Tassi Date: Fri Nov 13 11:48:48 2015 +0100 beta3 --- debian/changelog | 6 ++ 1 file changed, 6 insertions(+) diff --git a/debian/changelog b/debian/changelog index ea58654..a14cef3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.5~beta3+dfsg-1) experimental; urgency=medium + + * New upstream release + + -- Enrico Tassi Fri, 13 Nov 2015 11:27:35 +0100 + coq (8.5~beta2+dfsg-2) experimental; urgency=medium * Enable native compiler only on amd64 and i386 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] 02/05: Imported Upstream version 8.5~beta3+dfsg
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 91dbeab8eef959c3f64960909ca69d4e68c8198d Author: Enrico Tassi Date: Fri Nov 13 11:31:54 2015 +0100 Imported Upstream version 8.5~beta3+dfsg -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] branch pristine-tar updated (1aedadb -> f60abed)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository coq. from 1aedadb pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz new 75a2e44 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz new f60abed pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: coq_8.5~beta3+dfsg.orig.tar.gz.delta | Bin 0 -> 78177 bytes coq_8.5~beta3+dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 coq_8.5~beta3+dfsg.orig.tar.gz.delta create mode 100644 coq_8.5~beta3+dfsg.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] 02/02: pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq. commit f60abed748b22306db4985a9158ea9accf7fbad7 Author: Enrico Tassi Date: Fri Nov 13 11:31:56 2015 +0100 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz --- coq_8.5~beta3+dfsg.orig.tar.gz.delta | Bin 78109 -> 78177 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/coq_8.5~beta3+dfsg.orig.tar.gz.delta b/coq_8.5~beta3+dfsg.orig.tar.gz.delta index 2bbadb4..b25545e 100644 Binary files a/coq_8.5~beta3+dfsg.orig.tar.gz.delta and b/coq_8.5~beta3+dfsg.orig.tar.gz.delta differ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] annotated tag upstream/8.5_beta3+dfsg created (now 1923e03)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5_beta3+dfsg in repository coq. at 1923e03 (tag) tagging 91dbeab8eef959c3f64960909ca69d4e68c8198d (commit) replaces upstream/8.5_beta2+dfsg tagged by Enrico Tassi on Fri Nov 13 11:31:56 2015 +0100 - Log - Upstream version 8.5~beta3+dfsg Enrico Tassi (2): Imported Upstream version 8.5~beta3+dfsg Imported Upstream version 8.5~beta3+dfsg --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5_beta3+dfsg-1 created (now 49a49e1)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta3+dfsg-1 in repository coq. at 49a49e1 (tag) tagging b39748fd08b03dbf5bc1530fd8af3de3e7bd8cb5 (commit) replaces debian/8.5_beta2+dfsg-2 tagged by Enrico Tassi on Sat Nov 14 09:46:32 2015 +0100 - Log - coq Debian release 8.5~beta3+dfsg-1 Enrico Tassi (5): Imported Upstream version 8.5~beta3+dfsg Imported Upstream version 8.5~beta3+dfsg Imported Upstream version 8.5~beta3+dfsg beta3 set version to beta3 in debian/rules --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] branch master updated (b39748f -> d55ac40)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from b39748f set version to beta3 in debian/rules new d55ac40 fix options passed to configure on non intel architectures The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 6 ++ debian/rules | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] 01/01: fix options passed to configure on non intel architectures
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit d55ac4014632489e3009a2a7351d018b3b2d27ac Author: Enrico Tassi Date: Sat Nov 14 15:00:05 2015 +0100 fix options passed to configure on non intel architectures --- debian/changelog | 6 ++ debian/rules | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index a14cef3..9e661d4 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.5~beta3+dfsg-2) experimental; urgency=medium + + * Option -no-native-compiler now called -native-compiler no + + -- Enrico Tassi Sat, 14 Nov 2015 14:59:04 +0100 + coq (8.5~beta3+dfsg-1) experimental; urgency=medium * New upstream release diff --git a/debian/rules b/debian/rules index 41c08ae..7944985 100755 --- a/debian/rules +++ b/debian/rules @@ -29,7 +29,7 @@ ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) ifeq ($(ARCH),$(filter $(ARCH),amd64 i386)) NATIVE_COMPUTE := else -NATIVE_COMPUTE := -no-native-compiler +NATIVE_COMPUTE := -native-compiler no endif CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5_beta3+dfsg-2 created (now 4f96cee)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta3+dfsg-2 in repository coq. at 4f96cee (tag) tagging d55ac4014632489e3009a2a7351d018b3b2d27ac (commit) replaces debian/8.5_beta3+dfsg-1 tagged by Enrico Tassi on Sat Nov 14 15:00:31 2015 +0100 - Log - coq Debian release 8.5~beta3+dfsg-2 Enrico Tassi (1): fix options passed to configure on non intel architectures --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits