[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-2 created (now 8326256)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/1.6.1-2 in repository ssreflect. at 8326256 (tag) tagging 430b3d822d2d73734d67b87ab590b517da9870b9 (commit) replaces debian/1.6.1-1 tagged by Enrico Tassi on Fri Dec 30 11:55:23 2016 +0100 - Log - ssreflect Debian release 1.6.1-2 Enrico Tassi (1): fix build-arch target --- 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/ssreflect.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] [ssreflect] annotated tag rm created (now 09f2426)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag rm in repository ssreflect. at 09f2426 (tag) tagging 1bd6c7612a33213ca473dd0cfabe7407a77a3415 (commit) replaces upstream/1.5 tagged by Enrico Tassi on Thu Feb 4 17:26:23 2016 +0100 - Log - Upstream version 1.6 Enrico Tassi (1): Imported Upstream version 1.6 --- This annotated tag includes the following new commits: new 1bd6c76 Imported Upstream version 1.6 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. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] branch master updated (9c66906 -> 430b3d8)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository ssreflect. from 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it) new 430b3d8 fix build-arch target 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 | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 01/01: fix build-arch target
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 430b3d822d2d73734d67b87ab590b517da9870b9 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Fri Dec 30 11:49:37 2016 +0100 fix build-arch target --- debian/changelog | 6 ++ debian/rules | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index ba47290..09ef917 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ssreflect (1.6.1-2) unstable; urgency=medium + + * Fix build-arch target + + -- Enrico Tassi <gareuselesi...@debian.org> Fri, 30 Dec 2016 11:39:11 +0100 + ssreflect (1.6.1-1) unstable; urgency=medium * New upstream release diff --git a/debian/rules b/debian/rules index 67c37a7..e774a70 100755 --- a/debian/rules +++ b/debian/rules @@ -12,11 +12,11 @@ PACKAGES := $(shell dh_listpackages) INSTALL_DIR := $(CURDIR)/debian/tmp/usr/lib/coq/user-contrib/mathcomp # The following must be kept in sync with d/libssreflect-ocaml*.install.in -PLUGIN_TARGETS := ssreflect.cma +PLUGIN_TARGETS := ssreflect_plugin.cmo ifeq ($(OCAML_NATDYNLINK),yes) - PLUGIN_TARGETS += ssreflect.cmxs + PLUGIN_TARGETS += ssreflect_plugin.cmxs endif -EXTRA_FILES := ssrmatching.cmi ssreflect.cmi +EXTRA_FILES := ssreflect.cmi ssreflect_plugin.cmi %: +dh $@ --with ocaml -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] annotated tag debian/1.6.1-1 created (now a24c729)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/1.6.1-1 in repository ssreflect. at a24c729 (tag) tagging 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 (commit) replaces debian/1.6-1 tagged by Enrico Tassi on Thu Dec 29 22:41:02 2016 + - Log - ssreflect Debian release 1.6.1-1 Enrico Tassi (4): New upstream version 1.6.1 Merge tag 'upstream/1.6.1' ssr/mathcomp 1.6 bdepends on Coq 8.6 (the *install.in files depend on it) --- 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/ssreflect.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] [ssreflect] annotated tag upstream/1.6.1 created (now f8188c2)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/1.6.1 in repository ssreflect. at f8188c2 (tag) tagging bdffa485b79efcde80ef42d8a29126022ecaf88d (commit) replaces upstream/1.6 tagged by Enrico Tassi on Tue Dec 27 16:10:50 2016 + - Log - Upstream version 1.6.1 Enrico Tassi (1): New upstream version 1.6.1 --- 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/ssreflect.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] [ssreflect] branch master updated (0ab0d73 -> 9c66906)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository ssreflect. from 0ab0d73 ssr/mathcomp 1.6 new 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it) 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/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 01/01: bdepends on Coq 8.6 (the *install.in files depend on it)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 14:54:47 2016 + bdepends on Coq 8.6 (the *install.in files depend on it) Since 8.6 plugins are packaged into 1 .cmo, no more .cma --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index 6b4fe66..94c4a5d 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Stéphane Glondu <glo...@debian.org>, Enrico Tassi <gareuselesi...@debian.org> Build-Depends: debhelper (>= 8), - coq (>= 8.4), + coq (>= 8.6), libcoq-ocaml-dev (>= 8.4), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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 ocamlfind package name
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit c2f1eda504659079238313826fc9c60e981af531
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Fri Dec 30 00:36:07 2016 +0100
fix ocamlfind package name
---
debian/control | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/debian/control b/debian/control
index f351b5c..79c8561 100644
--- a/debian/control
+++ b/debian/control
@@ -31,7 +31,8 @@ Depends:
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends},
- ocaml-best-compilers
+ ocaml-best-compilers,
+ ocaml-findlib
Provides: coq-${F:CoqABI}
Recommends: coqide | proofgeneral
Suggests:
@@ -40,8 +41,7 @@ Suggests:
ledit | readline-editor,
libcoq-ocaml-dev,
why (>= 2.19),
- coq-doc,
- ocamlfind
+ coq-doc
Breaks: coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Description: proof assistant for higher-order logic (toplevel and compiler)
--
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.6-4 created (now 00767f0)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-4 in repository coq. at 00767f0 (tag) tagging c2f1eda504659079238313826fc9c60e981af531 (commit) replaces debian/8.6-3 tagged by Enrico Tassi on Fri Dec 30 00:36:29 2016 +0100 - Log - coq Debian release 8.6-4 Enrico Tassi (2): depend on ocamlfind fix ocamlfind package name --- 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 (32d5263 -> c2f1eda)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 32d5263 depend on ocamlfind new c2f1eda fix ocamlfind package name 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/control | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) -- 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 (56e5876 -> 32d5263)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 56e5876 fix FTBFS on mips new 32d5263 depend on ocamlfind 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/control | 3 ++- 2 files changed, 8 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: depend on ocamlfind
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 32d5263520a5fe927afd5451c40154c14a8b051d Author: Enrico Tassi <gareuselesi...@debian.org> Date: Thu Dec 29 23:46:09 2016 +0100 depend on ocamlfind --- debian/changelog | 6 ++ debian/control | 3 ++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index a37e61a..3a0757e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.6-4) unstable; urgency=medium + + * coq_makefile needs ocamlfind in order to work + + -- Enrico Tassi <gareuselesi...@debian.org> Thu, 29 Dec 2016 23:45:47 +0100 + coq (8.6-3) unstable; urgency=medium * 5127.v fails on mips, disabling diff --git a/debian/control b/debian/control index 3940a18..f351b5c 100644 --- a/debian/control +++ b/debian/control @@ -40,7 +40,8 @@ Suggests: ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), - coq-doc + coq-doc, + ocamlfind Breaks: coq-libs (<< 8.2.pl1) Replaces: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) -- 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.6-3 created (now 9c85a0b)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-3 in repository coq. at 9c85a0b (tag) tagging 56e5876c2ad8909f5abccfba1ef8484908b70a30 (commit) replaces debian/8.6-2 tagged by Enrico Tassi on Thu Dec 29 08:59:34 2016 +0100 - Log - coq Debian release 8.6-3 Enrico Tassi (1): fix FTBFS on mips --- 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 (4409e85 -> 56e5876)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 4409e85 fix FTBFS disabling some tests new 56e5876 fix FTBFS on mips 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/patches/0005-5127-fails-on-mips.patch | 30 debian/patches/series| 1 + 3 files changed, 37 insertions(+) create mode 100644 debian/patches/0005-5127-fails-on-mips.patch -- 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 FTBFS on mips
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 56e5876c2ad8909f5abccfba1ef8484908b70a30 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Thu Dec 29 08:59:12 2016 +0100 fix FTBFS on mips --- debian/changelog | 6 ++ debian/patches/0005-5127-fails-on-mips.patch | 30 debian/patches/series| 1 + 3 files changed, 37 insertions(+) diff --git a/debian/changelog b/debian/changelog index 1e33920..a37e61a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.6-3) unstable; urgency=medium + + * 5127.v fails on mips, disabling + + -- Enrico Tassi <gareuselesi...@debian.org> Thu, 29 Dec 2016 08:58:35 +0100 + coq (8.6-2) unstable; urgency=medium * Disable some tests with hardcoded timeout to fix FTBFS on diff --git a/debian/patches/0005-5127-fails-on-mips.patch b/debian/patches/0005-5127-fails-on-mips.patch new file mode 100644 index 000..949c33a --- /dev/null +++ b/debian/patches/0005-5127-fails-on-mips.patch @@ -0,0 +1,30 @@ +From: Enrico Tassi <gareuselesi...@debian.org> +Date: Thu, 29 Dec 2016 08:56:45 +0100 +Subject: 5127 fails on mips + +--- + test-suite/bugs/closed/5127.v | 15 --- + 1 file changed, 15 deletions(-) + delete mode 100644 test-suite/bugs/closed/5127.v + +diff --git a/test-suite/bugs/closed/5127.v b/test-suite/bugs/closed/5127.v +deleted file mode 100644 +index 831e8fb..000 +--- a/test-suite/bugs/closed/5127.v /dev/null +@@ -1,15 +0,0 @@ +-Fixpoint arrow (n: nat) := +- match n with +- | S n => bool -> arrow n +- | O => bool +- end. +- +-Fixpoint apply (n : nat) : arrow n -> bool := +- match n return arrow n -> bool with +- | S n => fun f => apply _ (f true) +- | O => fun x => x +- end. +- +-Axiom f : arrow 1. +-Definition v : bool := Eval compute in apply _ f. +-Definition w : bool := Eval vm_compute in v. diff --git a/debian/patches/series b/debian/patches/series index 48001bd..7285ccd 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,3 +2,4 @@ 0002-Remove-test-4366-too-picky-on-the-timeout.patch 0003-Remove-test-4429.patch 0004-Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch +0005-5127-fails-on-mips.patch -- 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.6-2 created (now 2d00820)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-2 in repository coq. at 2d00820 (tag) tagging 4409e85b91fa86750f83042c329ec8cf6320d7c7 (commit) replaces debian/8.6-1 tagged by Enrico Tassi on Wed Dec 28 21:01:20 2016 +0100 - Log - coq Debian release 8.6-2 Enrico Tassi (1): fix FTBFS disabling some tests --- 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] [aac-tactics] 06/06: 8.6.1
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 15d7275f16efbd0f6ef9c07a6102f2893dc726c0 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 13:46:13 2016 + 8.6.1 --- debian/changelog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index abdad05..8d01160 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -aac-tactics (8.6-1) unstable; urgency=medium +aac-tactics (8.6.1-1) unstable; urgency=medium * Team upload * New upstream release -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] 01/06: Merge tag 'upstream/8.6'
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit fb74782e08217e4f1069ed99de6f6f30005bfe13 Merge: 017a43a 1117d2e Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:06:42 2016 + Merge tag 'upstream/8.6' Upstream version 8.6 AAC.v | 5 + Make| 2 ++ Makefile| 2 ++ coq.ml | 65 - coq.mli | 6 +++--- helper.ml | 4 ++-- matcher.ml | 4 ++-- print.ml| 11 ++- print.mli | 4 ++-- rewrite.ml4 | 27 + theory.ml | 8 theory.mli | 2 +- 12 files changed, 81 insertions(+), 59 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] 04/06: New upstream version 8.6.1
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 76f9b4cdc5693a6313961e2f91b39ba311857e72 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 13:43:01 2016 + New upstream version 8.6.1 --- Make | 4 ++-- aac.mlpack | 2 +- rewrite.ml4 => aac_rewrite.ml4 | 0 rewrite.mli => aac_rewrite.mli | 0 4 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Make b/Make index ec45b23..3804332 100644 --- a/Make +++ b/Make @@ -7,14 +7,14 @@ search_monad.mli matcher.mli theory.mli print.mli -rewrite.mli +aac_rewrite.mli coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml -rewrite.ml4 +aac_rewrite.ml4 aac.mlpack AAC.v diff --git a/aac.mlpack b/aac.mlpack index 0c12567..80cb22c 100644 --- a/aac.mlpack +++ b/aac.mlpack @@ -4,4 +4,4 @@ Search_monad Matcher Theory Print -Rewrite +Aac_rewrite diff --git a/rewrite.ml4 b/aac_rewrite.ml4 similarity index 100% rename from rewrite.ml4 rename to aac_rewrite.ml4 diff --git a/rewrite.mli b/aac_rewrite.mli similarity index 100% rename from rewrite.mli rename to aac_rewrite.mli -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] branch upstream updated (17564e4 -> 76f9b4c)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch upstream in repository aac-tactics. from 17564e4 Imported Upstream version 8.5.1 new 1117d2e New upstream version 8.6 new 76f9b4c New upstream version 8.6.1 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: AAC.v | 5 Make | 6 ++-- Makefile | 2 ++ aac.mlpack | 2 +- rewrite.ml4 => aac_rewrite.ml4 | 27 +- rewrite.mli => aac_rewrite.mli | 0 coq.ml | 65 +- coq.mli| 6 ++-- helper.ml | 4 +-- matcher.ml | 4 +-- print.ml | 11 +++ print.mli | 4 +-- theory.ml | 8 +++--- theory.mli | 2 +- 14 files changed, 84 insertions(+), 62 deletions(-) rename rewrite.ml4 => aac_rewrite.ml4 (96%) rename rewrite.mli => aac_rewrite.mli (100%) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] branch pristine-tar updated (b04b84c -> 2062a6b)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository aac-tactics. from b04b84c pristine-tar data for aac-tactics_8.5.1.orig.tar.gz new 7cb8057 pristine-tar data for aac-tactics_8.6.orig.tar.gz new 2062a6b pristine-tar data for aac-tactics_8.6.1.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: aac-tactics_8.6.1.orig.tar.gz.delta | Bin 0 -> 1507 bytes aac-tactics_8.6.1.orig.tar.gz.id| 1 + aac-tactics_8.6.orig.tar.gz.delta | Bin 0 -> 1497 bytes aac-tactics_8.6.orig.tar.gz.id | 1 + 4 files changed, 2 insertions(+) create mode 100644 aac-tactics_8.6.1.orig.tar.gz.delta create mode 100644 aac-tactics_8.6.1.orig.tar.gz.id create mode 100644 aac-tactics_8.6.orig.tar.gz.delta create mode 100644 aac-tactics_8.6.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] 02/06: New upstream version 8.6
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 1117d2e4a00debfbfa0157cc3e780916df72c26b Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:06:42 2016 + New upstream version 8.6 --- AAC.v | 5 + Make| 2 ++ Makefile| 2 ++ coq.ml | 65 - coq.mli | 6 +++--- helper.ml | 4 ++-- matcher.ml | 4 ++-- print.ml| 11 ++- print.mli | 4 ++-- rewrite.ml4 | 27 + theory.ml | 8 theory.mli | 2 +- 12 files changed, 81 insertions(+), 59 deletions(-) diff --git a/AAC.v b/AAC.v index f6f382f..5feb0b6 100644 --- a/AAC.v +++ b/AAC.v @@ -1115,6 +1115,11 @@ Section s. End s. End Internal. +Local Ltac internal_normalize := + let x := fresh in let y := fresh in + intro x; intro y; vm_compute in x; vm_compute in y; unfold x; unfold y; + compute [Internal.eval Internal.fold_map Internal.copy Prect]; simpl. + (** * Lemmas for performing transitivity steps given an instance of AAC_lift *) diff --git a/Make b/Make index 8caf805..ec45b23 100644 --- a/Make +++ b/Make @@ -1,5 +1,6 @@ -I . -R . AAC_tactics + coq.mli helper.mli search_monad.mli @@ -15,6 +16,7 @@ theory.ml print.ml rewrite.ml4 aac.mlpack + AAC.v Instances.v Tutorial.v diff --git a/Makefile b/Makefile index a9d5466..abf2ec6 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,8 @@ clean: Makefile.coq Makefile.coq: Make $(COQBIN)coq_makefile -f Make -o Makefile.coq +Make: ; + %: Makefile.coq +make -f Makefile.coq $@ diff --git a/coq.ml b/coq.ml index 97154e2..eb4b5f1 100755 --- a/coq.ml +++ b/coq.ml @@ -12,6 +12,8 @@ type constr = Term.constr open Term open Names open Coqlib +open Sigma.Notations +open Context.Rel.Declaration (* The contrib name is used to locate errors when loading constrs *) let contrib_name = "aac_tactics" @@ -55,7 +57,9 @@ let goal_update (goal : goal_sigma) evar_map : goal_sigma= let fresh_evar goal ty : constr * goal_sigma = let env = Tacmach.pf_env goal in let evar_map = Tacmach.project goal in - let (em,x) = Evarutil.new_evar env evar_map ty in + let evar_map = Sigma.Unsafe.of_evar_map evar_map in + let Sigma (x,em,_) = Evarutil.new_evar env evar_map ty in + let em = Sigma.to_evar_map em in x,( goal_update goal em) let resolve_one_typeclass goal ty : constr*goal_sigma= @@ -73,8 +77,8 @@ let cps_resolve_one_typeclass ?error : Term.types -> (Term.constr -> Proof_type try Typeclasses.resolve_one_typeclass env em t with Not_found -> begin match error with - | None -> Errors.anomaly (Pp.str "Cannot resolve a typeclass : please report") - | Some x -> Errors.error x + | None -> CErrors.anomaly (Pp.str "Cannot resolve a typeclass : please report") + | Some x -> CErrors.error x end in Tacticals.tclTHENLIST [Refiner.tclEVARS em; k c] goal @@ -88,28 +92,36 @@ let nf_evar goal c : Term.constr= let evar_unit (gl : goal_sigma) (x : constr) : constr * goal_sigma = let env = Tacmach.pf_env gl in let evar_map = Tacmach.project gl in - let (em,x) = Evarutil.new_evar env evar_map x in + let evar_map = Sigma.Unsafe.of_evar_map evar_map in + let Sigma (x,em,_) = Evarutil.new_evar env evar_map x in + let em = Sigma.to_evar_map em in x,(goal_update gl em) let evar_binary (gl: goal_sigma) (x : constr) = let env = Tacmach.pf_env gl in let evar_map = Tacmach.project gl in let ty = mkArrow x (mkArrow x x) in - let (em,x) = Evarutil.new_evar env evar_map ty in + let evar_map = Sigma.Unsafe.of_evar_map evar_map in + let Sigma (x,em,_) = Evarutil.new_evar env evar_map ty in + let em = Sigma.to_evar_map em in x,( goal_update gl em) let evar_relation (gl: goal_sigma) (x: constr) = let env = Tacmach.pf_env gl in let evar_map = Tacmach.project gl in let ty = mkArrow x (mkArrow x (mkSort prop_sort)) in - let (em,r) = Evarutil.new_evar env evar_map ty in + let evar_map = Sigma.Unsafe.of_evar_map evar_map in + let Sigma (r, em, _) = Evarutil.new_evar env evar_map ty in + let em = Sigma.to_evar_map em in r,( goal_update gl em) let cps_evar_relation (x: constr) k = fun goal -> Tacmach.pf_apply (fun env em -> let ty = mkArrow x (mkArrow x (mkSort prop_sort)) in - let (em,r) = Evarutil.new_evar env em ty in + let em = Sigma.Unsafe.of_evar_map em in + let Sigma (r, em, _) = Evarutil.new_evar env em ty in + let em = Sigma.to_evar_map em in Tacticals.tclTHENLIST [Refiner.tclEVARS em; k r] goal ) goal @@ -319,9 +331,9 @@ module Equivalence = struct end end (**[ match_a
[Pkg-ocaml-maint-commits] [aac-tactics] 05/06: Merge tag 'upstream/8.6.1'
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit f6c35088fc20b534aac0b92df7cb9750d2b68b46 Merge: a8c0742 76f9b4c Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 13:45:46 2016 + Merge tag 'upstream/8.6.1' Upstream version 8.6.1 Make | 4 ++-- aac.mlpack | 2 +- rewrite.ml4 => aac_rewrite.ml4 | 0 rewrite.mli => aac_rewrite.mli | 0 4 files changed, 3 insertions(+), 3 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [aac-tactics] 02/02: pristine-tar data for aac-tactics_8.6.1.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 aac-tactics. commit 2062a6bb526785953c46d48a690d1eefe4e2deca Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 13:43:01 2016 + pristine-tar data for aac-tactics_8.6.1.orig.tar.gz --- aac-tactics_8.6.1.orig.tar.gz.delta | Bin 0 -> 1507 bytes aac-tactics_8.6.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/aac-tactics_8.6.1.orig.tar.gz.delta b/aac-tactics_8.6.1.orig.tar.gz.delta new file mode 100644 index 000..d7b2682 Binary files /dev/null and b/aac-tactics_8.6.1.orig.tar.gz.delta differ diff --git a/aac-tactics_8.6.1.orig.tar.gz.id b/aac-tactics_8.6.1.orig.tar.gz.id new file mode 100644 index 000..0577e72 --- /dev/null +++ b/aac-tactics_8.6.1.orig.tar.gz.id @@ -0,0 +1 @@ +d0bc68aa8ed8da41ecf7250883913f531bc66ef0 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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] [ssreflect] 01/01: pristine-tar data for ssreflect_1.6.1.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 ssreflect. commit 9d7d7af852352d2203f9df6c1c9b4992de566c22 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:10:50 2016 + pristine-tar data for ssreflect_1.6.1.orig.tar.gz --- ssreflect_1.6.1.orig.tar.gz.delta | Bin 0 -> 20511 bytes ssreflect_1.6.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/ssreflect_1.6.1.orig.tar.gz.delta b/ssreflect_1.6.1.orig.tar.gz.delta new file mode 100644 index 000..5b9abd9 Binary files /dev/null and b/ssreflect_1.6.1.orig.tar.gz.delta differ diff --git a/ssreflect_1.6.1.orig.tar.gz.id b/ssreflect_1.6.1.orig.tar.gz.id new file mode 100644 index 000..d40e3db --- /dev/null +++ b/ssreflect_1.6.1.orig.tar.gz.id @@ -0,0 +1 @@ +84b2bb84f6a57c0836f072290370d41c1136104f -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] branch upstream updated (0dfc136 -> bdffa48)
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository ssreflect.
from 0dfc136 Imported Upstream version 1.6
new bdffa48 New upstream version 1.6.1
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:
AUTHORS| 16 +-
CeCILL-B | 515 +++-
ChangeLog | 109 +-
INSTALL| 101 +-
README | 41 +-
etc/utils/packager | 10 +-
etc/utils/ssrcoqdep|2 +-
etc/win-installer.nsi | 56 +-
mathcomp/Make |4 -
mathcomp/ssreflect/Make|4 -
mathcomp/ssreflect/Makefile.coq-makefile | 23 +-
mathcomp/ssreflect/opam|4 +-
mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 478 +++
.../{ssreflect.mllib => ssreflect_plugin.mlpack} |0
mathcomp/ssreflect/plugin/trunk/ssrmatching.ml4| 1305
mathcomp/ssreflect/plugin/trunk/ssrmatching.mli| 241
mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 | 15 +-
.../{ssreflect.mllib => ssreflect_plugin.mllib}|0
mathcomp/ssreflect/plugin/v8.4/ssrmatching.ml4 | 19 +-
mathcomp/ssreflect/plugin/v8.4/ssrmatching.mli |2 +-
mathcomp/ssreflect/{ => plugin/v8.4}/ssrmatching.v |3 +-
mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 | 70 +-
.../{ssreflect.mllib => ssreflect_plugin.mllib}|0
mathcomp/ssreflect/plugin/v8.5/ssrmatching.ml4 | 111 +-
mathcomp/ssreflect/plugin/v8.5/ssrmatching.mli |2 +-
mathcomp/ssreflect/{ => plugin/v8.5}/ssrmatching.v |3 +-
.../ssreflect/plugin/{trunk => v8.6}/ssreflect.ml4 | 451 ---
.../ssreflect_plugin.mlpack} |0
mathcomp/ssreflect/ssrbool.v |2 +
mathcomp/ssreflect/ssreflect.v |7 +-
30 files changed, 1495 insertions(+), 2099 deletions(-)
mode change 12 => 100644 AUTHORS
mode change 12 => 100644 CeCILL-B
mode change 12 => 100644 ChangeLog
mode change 12 => 100644 INSTALL
mode change 12 => 100644 README
copy mathcomp/ssreflect/plugin/trunk/{ssreflect.mllib =>
ssreflect_plugin.mlpack} (100%)
delete mode 100644 mathcomp/ssreflect/plugin/trunk/ssrmatching.ml4
delete mode 100644 mathcomp/ssreflect/plugin/trunk/ssrmatching.mli
rename mathcomp/ssreflect/plugin/v8.4/{ssreflect.mllib =>
ssreflect_plugin.mllib} (100%)
copy mathcomp/ssreflect/{ => plugin/v8.4}/ssrmatching.v (91%)
rename mathcomp/ssreflect/plugin/v8.5/{ssreflect.mllib =>
ssreflect_plugin.mllib} (100%)
rename mathcomp/ssreflect/{ => plugin/v8.5}/ssrmatching.v (91%)
copy mathcomp/ssreflect/plugin/{trunk => v8.6}/ssreflect.ml4 (94%)
rename mathcomp/ssreflect/plugin/{trunk/ssreflect.mllib =>
v8.6/ssreflect_plugin.mlpack} (100%)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 02/03: Merge tag 'upstream/1.6.1'
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 582fd9f4b4a3a766b7038ba39e4134ce7843b69a
Merge: 18f7769 bdffa48
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Tue Dec 27 16:10:50 2016 +
Merge tag 'upstream/1.6.1'
Upstream version 1.6.1
AUTHORS| 16 +-
CeCILL-B | 515 +++-
ChangeLog | 109 +-
INSTALL| 101 +-
README | 41 +-
etc/utils/packager | 10 +-
etc/utils/ssrcoqdep|2 +-
etc/win-installer.nsi | 56 +-
mathcomp/Make |4 -
mathcomp/ssreflect/Make|4 -
mathcomp/ssreflect/Makefile.coq-makefile | 23 +-
mathcomp/ssreflect/opam|4 +-
mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 | 478 +++
.../{ssreflect.mllib => ssreflect_plugin.mlpack} |0
mathcomp/ssreflect/plugin/trunk/ssrmatching.ml4| 1305
mathcomp/ssreflect/plugin/trunk/ssrmatching.mli| 241
mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 | 15 +-
.../{ssreflect.mllib => ssreflect_plugin.mllib}|0
mathcomp/ssreflect/plugin/v8.4/ssrmatching.ml4 | 19 +-
mathcomp/ssreflect/plugin/v8.4/ssrmatching.mli |2 +-
mathcomp/ssreflect/{ => plugin/v8.4}/ssrmatching.v |3 +-
mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 | 70 +-
.../{ssreflect.mllib => ssreflect_plugin.mllib}|0
mathcomp/ssreflect/plugin/v8.5/ssrmatching.ml4 | 111 +-
mathcomp/ssreflect/plugin/v8.5/ssrmatching.mli |2 +-
mathcomp/ssreflect/{ => plugin/v8.5}/ssrmatching.v |3 +-
.../ssreflect/plugin/{trunk => v8.6}/ssreflect.ml4 | 451 ---
.../ssreflect_plugin.mlpack} |0
mathcomp/ssreflect/ssrbool.v |2 +
mathcomp/ssreflect/ssreflect.v |7 +-
30 files changed, 1495 insertions(+), 2099 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 03/03: ssr/mathcomp 1.6
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 0ab0d73a07d4889c30245d5e8b786e9445dc964c Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:11:11 2016 + ssr/mathcomp 1.6 --- debian/changelog | 6 ++ debian/libssreflect-ocaml-dev.install.in | 2 +- debian/libssreflect-ocaml.install.in | 4 ++-- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index ae577d3..ba47290 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ssreflect (1.6.1-1) unstable; urgency=medium + + * New upstream release + + -- Enrico Tassi <gareuselesi...@debian.org> Tue, 27 Dec 2016 16:10:53 + + ssreflect (1.6-1) unstable; urgency=medium * Adding myself as co-maintainer. diff --git a/debian/libssreflect-ocaml-dev.install.in b/debian/libssreflect-ocaml-dev.install.in index c7800b0..c2a82e9 100644 --- a/debian/libssreflect-ocaml-dev.install.in +++ b/debian/libssreflect-ocaml-dev.install.in @@ -1,2 +1,2 @@ -usr/lib/coq/user-contrib/mathcomp/ssrmatching.cmi usr/lib/coq/user-contrib/mathcomp/ssreflect.cmi +usr/lib/coq/user-contrib/mathcomp/ssreflect_plugin.cmi diff --git a/debian/libssreflect-ocaml.install.in b/debian/libssreflect-ocaml.install.in index 821de39..ddb8eb0 100644 --- a/debian/libssreflect-ocaml.install.in +++ b/debian/libssreflect-ocaml.install.in @@ -1,2 +1,2 @@ - usr/lib/coq/user-contrib/mathcomp/ssreflect.cma -DYN: usr/lib/coq/user-contrib/mathcomp/ssreflect.cmxs + usr/lib/coq/user-contrib/mathcomp/ssreflect_plugin.cmo +DYN: usr/lib/coq/user-contrib/mathcomp/ssreflect_plugin.cmxs -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] branch pristine-tar updated (bb09259 -> 9d7d7af)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository ssreflect. from bb09259 pristine-tar data for ssreflect_1.6.orig.tar.gz new 9d7d7af pristine-tar data for ssreflect_1.6.1.orig.tar.gz 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: ssreflect_1.6.1.orig.tar.gz.delta | Bin 0 -> 20511 bytes ssreflect_1.6.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 ssreflect_1.6.1.orig.tar.gz.delta create mode 100644 ssreflect_1.6.1.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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 (1dd2832 -> 4f8c678)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository coq. from 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz new 4f8c678 pristine-tar data for coq_8.6.orig.tar.gz 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: coq_8.6.orig.tar.gz.delta | Bin 0 -> 85601 bytes coq_8.6.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 coq_8.6.orig.tar.gz.delta create mode 100644 coq_8.6.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: Coq 8.6
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit bfe45dbaed933cca5081a9e2524e0ef099a83efb Author: Enrico Tassi <gareuselesi...@debian.org> Date: Wed Dec 28 09:28:26 2016 +0100 Coq 8.6 --- debian/changelog | 6 + debian/docs| 2 +- debian/libcoq-ocaml-dev.install.in | 6 +++-- debian/libcoq-ocaml.install.in | 46 -- debian/rules | 4 ++-- 5 files changed, 37 insertions(+), 27 deletions(-) diff --git a/debian/changelog b/debian/changelog index 27fbb51..7af8ee2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.6-1) unstable; urgency=medium + + * New upstream release + + -- Enrico Tassi <gareuselesi...@debian.org> Tue, 27 Dec 2016 16:53:39 +0100 + coq (8.5-2) unstable; urgency=medium * patch: disable test 4429 (timeout too strict for slow architectures) diff --git a/debian/docs b/debian/docs index 297170d..805bc92 100644 --- a/debian/docs +++ b/debian/docs @@ -1,2 +1,2 @@ -README +README.md CREDITS diff --git a/debian/libcoq-ocaml-dev.install.in b/debian/libcoq-ocaml-dev.install.in index 49efecb..ec726f1 100644 --- a/debian/libcoq-ocaml-dev.install.in +++ b/debian/libcoq-ocaml-dev.install.in @@ -1,5 +1,7 @@ usr/bin/coqmktop* usr/share/man/man1/coqmktop* +usr/lib/coq/engine/engine.cma +usr/lib/coq/grammar/compat5.cmo usr/lib/coq/grammar/grammar.cma usr/lib/coq/ide/ide.cma usr/lib/coq/interp/interp.cma @@ -7,15 +9,15 @@ usr/lib/coq/kernel/kernel.cma usr/lib/coq/lib/clib.cma usr/lib/coq/lib/lib.cma usr/lib/coq/library/library.cma +usr/lib/coq/ltac/ltac.cma usr/lib/coq/parsing/highparsing.cma usr/lib/coq/parsing/parsing.cma usr/lib/coq/pretyping/pretyping.cma usr/lib/coq/printing/printing.cma usr/lib/coq/proofs/proofs.cma usr/lib/coq/stm/stm.cma -usr/lib/coq/tactics/hightactics.cma usr/lib/coq/tactics/tactics.cma usr/lib/coq/toplevel/toplevel.cma -usr/lib/coq/tools/compat5.cmo +usr/lib/coq/META # other *.cm* files will be added here by debian/rules diff --git a/debian/libcoq-ocaml.install.in b/debian/libcoq-ocaml.install.in index 2b7783d..7639051 100644 --- a/debian/libcoq-ocaml.install.in +++ b/debian/libcoq-ocaml.install.in @@ -1,32 +1,32 @@ usr/lib/coq/dllcoqrun.so @OCamlDllDir@ -usr/lib/coq/plugins/quote/quote_plugin.cma -usr/lib/coq/plugins/rtauto/rtauto_plugin.cma -usr/lib/coq/plugins/extraction/extraction_plugin.cma -usr/lib/coq/plugins/cc/cc_plugin.cma -usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cma -usr/lib/coq/plugins/btauto/btauto_plugin.cma -usr/lib/coq/plugins/fourier/fourier_plugin.cma -usr/lib/coq/plugins/funind/recdef_plugin.cma -usr/lib/coq/plugins/derive/derive_plugin.cma -usr/lib/coq/plugins/setoid_ring/newring_plugin.cma -usr/lib/coq/plugins/nsatz/nsatz_plugin.cma -usr/lib/coq/plugins/micromega/micromega_plugin.cma -usr/lib/coq/plugins/romega/romega_plugin.cma -usr/lib/coq/plugins/omega/omega_plugin.cma -usr/lib/coq/plugins/firstorder/ground_plugin.cma -usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cma -usr/lib/coq/plugins/syntax/r_syntax_plugin.cma -usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma -usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma -usr/lib/coq/plugins/syntax/string_syntax_plugin.cma -usr/lib/coq/plugins/syntax/z_syntax_plugin.cma +usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo +usr/lib/coq/plugins/extraction/extraction_plugin.cmo +usr/lib/coq/plugins/cc/cc_plugin.cmo +usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmo +usr/lib/coq/plugins/btauto/btauto_plugin.cmo +usr/lib/coq/plugins/fourier/fourier_plugin.cmo +usr/lib/coq/plugins/funind/recdef_plugin.cmo +usr/lib/coq/plugins/derive/derive_plugin.cmo +usr/lib/coq/plugins/setoid_ring/newring_plugin.cmo +usr/lib/coq/plugins/nsatz/nsatz_plugin.cmo +usr/lib/coq/plugins/micromega/micromega_plugin.cmo +usr/lib/coq/plugins/romega/romega_plugin.cmo +usr/lib/coq/plugins/omega/omega_plugin.cmo +usr/lib/coq/plugins/firstorder/ground_plugin.cmo +usr/lib/coq/plugins/quote/quote_plugin.cmo +usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmo +usr/lib/coq/plugins/syntax/r_syntax_plugin.cmo +usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmo +usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo +usr/lib/coq/plugins/syntax/string_syntax_plugin.cmo +usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo +usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo usr/lib/coq/toploop/proofworkertop.cma usr/lib/coq/toploop/tacworkertop.cma usr/lib/coq/toploop/queryworkertop.cma DYN: usr/lib/coq/toploop/proofworkertop.cmxs DYN: usr/lib/coq/toploop/tacworkertop.cmxs DYN: usr/lib/coq/toploop/queryworkertop.cmxs -DYN: usr/lib/coq/plugins/quote/quote_plugin.cmxs DYN: usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs DYN: usr/lib/coq/plugins/extraction/extraction_plugin.cmxs DYN: usr/lib/coq/plugins/cc/cc_plugin.cmxs @@ -41,9 +41,11 @@ DYN: usr/lib/coq/plugi
[Pkg-ocaml-maint-commits] [coq] 01/01: pristine-tar data for coq_8.6.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 4f8c678ec9a09be1f71aa7ea3df9b3d9547ff934 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:53:32 2016 +0100 pristine-tar data for coq_8.6.orig.tar.gz --- coq_8.6.orig.tar.gz.delta | Bin 0 -> 85601 bytes coq_8.6.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/coq_8.6.orig.tar.gz.delta b/coq_8.6.orig.tar.gz.delta new file mode 100644 index 000..1a521cf Binary files /dev/null and b/coq_8.6.orig.tar.gz.delta differ diff --git a/coq_8.6.orig.tar.gz.id b/coq_8.6.orig.tar.gz.id new file mode 100644 index 000..98f0cf9 --- /dev/null +++ b/coq_8.6.orig.tar.gz.id @@ -0,0 +1 @@ +26dd9c4aa142597ee09c887ef161d5f0fa5077b6 -- 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] [ssreflect] annotated tag upstream/1.6 created (now 6453a68)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/1.6 in repository ssreflect. at 6453a68 (tag) tagging 0dfc136a590c218f11d48adb452cd19f7b056f08 (commit) replaces upstream/1.5 tagged by Enrico Tassi on Tue Aug 30 16:16:54 2016 +0200 - Log - Upstream version 1.6 Enrico Tassi (1): Imported Upstream version 1.6 --- 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/ssreflect.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] [ssreflect] branch master updated (6390244 -> 18f7769)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository ssreflect. from 6390244 fix binary-only build new 18f7769 Fix README/ChangeLog installation 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/libssreflect-coq.docs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 01/01: Fix README/ChangeLog installation
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 18f776900efef8036386fdfdc5dd7760c252231e Author: Enrico Tassi <ga...@fettunta.org> Date: Thu Sep 29 19:11:47 2016 +0200 Fix README/ChangeLog installation --- debian/libssreflect-coq.docs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/libssreflect-coq.docs b/debian/libssreflect-coq.docs index 781dd3a..1ac668b 100644 --- a/debian/libssreflect-coq.docs +++ b/debian/libssreflect-coq.docs @@ -1,2 +1,2 @@ -ChangeLog -README +etc/ChangeLog +etc/README -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 05/06: Fix package description
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 0de07d45cf9e12f56b9c3fe4498036df184d8ad7 Author: Enrico Tassi <ga...@fettunta.org> Date: Fri Sep 23 16:25:31 2016 +0200 Fix package description --- debian/control | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/debian/control b/debian/control index 865b4a5..6b4fe66 100644 --- a/debian/control +++ b/debian/control @@ -69,8 +69,7 @@ Description: small scale reflection library for Coq (theories) robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system. - * A set of Coq libraries that provide core "reflection-oriented" - theories for basic combinatorics (roughly: arithmetic, lists, and - finite sets). + * A comprehensive set of Coq libraries covering topics as combinatorics + and algebra. . This package installs the full Ssreflect distribution. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 01/01: pristine-tar data for ssreflect_1.6.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 ssreflect. commit bb092597148884bdc5f8bfadd67e18e6bc45f389 Author: Enrico Tassi <ga...@fettunta.org> Date: Tue Aug 30 16:16:54 2016 +0200 pristine-tar data for ssreflect_1.6.orig.tar.gz --- ssreflect_1.6.orig.tar.gz.delta | Bin 0 -> 20286 bytes ssreflect_1.6.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/ssreflect_1.6.orig.tar.gz.delta b/ssreflect_1.6.orig.tar.gz.delta new file mode 100644 index 000..12d3750 Binary files /dev/null and b/ssreflect_1.6.orig.tar.gz.delta differ diff --git a/ssreflect_1.6.orig.tar.gz.id b/ssreflect_1.6.orig.tar.gz.id new file mode 100644 index 000..0655ab0 --- /dev/null +++ b/ssreflect_1.6.orig.tar.gz.id @@ -0,0 +1 @@ +7a95f839b8d3ac7bf41f94eab886d9567dfc475f -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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] [ssreflect] 04/06: Completing the copyright file
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 16189ab9e7dd06ad616f1f038adc939aa8575377 Author: Enrico Tassi <ga...@fettunta.org> Date: Fri Sep 23 15:21:02 2016 +0200 Completing the copyright file --- debian/copyright | 49 +++-- 1 file changed, 31 insertions(+), 18 deletions(-) diff --git a/debian/copyright b/debian/copyright index 8a518eb..a00a42f 100644 --- a/debian/copyright +++ b/debian/copyright @@ -31,25 +31,8 @@ License: CeCILL-B Files: htmldoc/js/dagre.js Copyright: © 2012-2014 Chris Pettitt <cpett...@gmail.com> License: Expat - Permission is hereby granted, free of charge, to any person obtaining a copy of - this software and associated documentation files (the "Software"), to deal in - the Software without restriction, including without limitation the rights to - use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies - of the Software, and to permit persons to whom the Software is furnished to do - so, subject to the following conditions: - . - The above copyright notice and this permission notice shall be included in all - copies or substantial portions of the Software. - . - THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR - IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, - FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE - AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER - LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, - OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE - SOFTWARE. -Files: htmldoc/js/cytoscape.js +Files: htmldoc/js/cytoscape*.js Copyright: © 2016 The Cytoscape Consortium License: LGPL-3+ This package is free software; you can redistribute it and/or @@ -68,6 +51,36 @@ License: LGPL-3+ On Debian systems, the complete text of the GNU Lesser General Public License can be found in "/usr/share/common-licenses/LGPL-3". +Files: htmldoc/js/jquery-2.0.3.js +Copyright: 2005, 2013 jQuery Foundation, Inc. and other contributors +License: Expat + +Files: htmldoc/js/jquery-qtip.js +Copyright: 2013 Craig Michael Thompson +License: Expat or GPL + +License: GPL + Unspecified GPL version + +License: Expat + Permission is hereby granted, free of charge, to any person obtaining a copy of + this software and associated documentation files (the "Software"), to deal in + the Software without restriction, including without limitation the rights to + use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies + of the Software, and to permit persons to whom the Software is furnished to do + so, subject to the following conditions: + . + The above copyright notice and this permission notice shall be included in all + copies or substantial portions of the Software. + . + THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR + IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, + FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE + AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER + LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, + OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE + SOFTWARE. + License: CeCILL-B CeCILL-B FREE SOFTWARE LICENSE AGREEMENT . -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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-2 created (now c99b37c)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5-2 in repository coq. at c99b37c (tag) tagging 7c9b0a702976078b813e6493c1284af62a3f093c (commit) replaces debian/8.5_beta3+dfsg-2 tagged by Enrico Tassi on Thu Jan 28 15:48:42 2016 +0100 - Log - coq Debian release 8.5-2 Enrico Tassi (4): Imported Upstream version 8.5 Merge tag 'upstream/8.5' 8.5 fix FTBFS on slow architectures by disabling 4429 --- 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 (ad20f9a -> 7c9b0a7)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from ad20f9a 8.5 new 7c9b0a7 fix FTBFS on slow architectures by disabling 4429 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/patches/0003-Remove-test-4429.patch | 46 ++ debian/patches/series | 1 + 3 files changed, 53 insertions(+) create mode 100644 debian/patches/0003-Remove-test-4429.patch -- 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 FTBFS on slow architectures by disabling 4429
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 7c9b0a702976078b813e6493c1284af62a3f093c
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Thu Jan 28 11:47:57 2016 +0100
fix FTBFS on slow architectures by disabling 4429
---
debian/changelog | 6
debian/patches/0003-Remove-test-4429.patch | 46 ++
debian/patches/series | 1 +
3 files changed, 53 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 0d0bd9d..27fbb51 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.5-2) unstable; urgency=medium
+
+ * patch: disable test 4429 (timeout too strict for slow architectures)
+
+ -- Enrico Tassi <gareuselesi...@debian.org> Thu, 28 Jan 2016 11:47:07 +0100
+
coq (8.5-1) unstable; urgency=medium
* New upstream release
diff --git a/debian/patches/0003-Remove-test-4429.patch
b/debian/patches/0003-Remove-test-4429.patch
new file mode 100644
index 000..9baee30
--- /dev/null
+++ b/debian/patches/0003-Remove-test-4429.patch
@@ -0,0 +1,46 @@
+From: Enrico Tassi <gareuselesi...@debian.org>
+Date: Thu, 28 Jan 2016 10:11:08 +0100
+Subject: Remove test 4429
+
+---
+ test-suite/bugs/closed/4429.v | 31 ---
+ 1 file changed, 31 deletions(-)
+ delete mode 100644 test-suite/bugs/closed/4429.v
+
+diff --git a/test-suite/bugs/closed/4429.v b/test-suite/bugs/closed/4429.v
+deleted file mode 100644
+index bf0e570..000
+--- a/test-suite/bugs/closed/4429.v
/dev/null
+@@ -1,31 +0,0 @@
+-Require Import Arith.Compare_dec.
+-Require Import Unicode.Utf8.
+-
+-Fixpoint my_nat_iter (n : nat) {A} (f : A → A) (x : A) : A :=
+- match n with
+-| O=> x
+-| S n' => f (my_nat_iter n' f x)
+- end.
+-
+-Definition gcd_IT_F (f : nat * nat → nat) (mn : nat * nat) : nat :=
+- match mn with
+-| (0, 0) => 0
+-| (0, S n')=> S n'
+-| (S m', 0)=> S m'
+-| (S m', S n') =>
+- match le_gt_dec (S m') (S n') with
+-| left _ => f (S m', S n' - S m')
+-| right _ => f (S m' - S n', S n')
+- end
+- end.
+-
+-Axiom max_correct_l : ∀ m n : nat, m <= max m n.
+-Axiom max_correct_r : ∀ m n : nat, n <= max m n.
+-
+-Hint Resolve max_correct_l max_correct_r : arith.
+-
+-Theorem foo : ∀ p p' p'' : nat, p'' < S (max p (max p' p'')).
+-Proof.
+- intros.
+- Timeout 3 eauto with arith.
+-Qed.
diff --git a/debian/patches/series b/debian/patches/series
index 7521511..2fabc9f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
0002-Remove-test-4366-too-picky-on-the-timeout.patch
+0003-Remove-test-4429.patch
--
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/03: 8.5
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit ad20f9ab9a6f4d9e080b27571fa411aa68a53907 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Jan 26 17:18:24 2016 +0100 8.5 --- debian/changelog | 7 + ...st-suite-success-Nsatz.v-comment-out-Ceva.patch | 7 +++-- ...Remove-test-4366-too-picky-on-the-timeout.patch | 30 ++ debian/patches/series | 1 + debian/rules | 2 +- 5 files changed, 42 insertions(+), 5 deletions(-) diff --git a/debian/changelog b/debian/changelog index 9e661d4..0d0bd9d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +coq (8.5-1) unstable; urgency=medium + + * New upstream release + * patch: disable test 4366 (timeout too strict for slow architectures) + + -- Enrico Tassi <gareuselesi...@debian.org> Tue, 26 Jan 2016 16:59:05 +0100 + coq (8.5~beta3+dfsg-2) experimental; urgency=medium * Option -no-native-compiler now called -native-compiler no diff --git a/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch b/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch index 198188e..2cf6af5 100644 --- a/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch +++ b/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch @@ -8,10 +8,10 @@ This lemma uses too much memory for many buildds... 1 file changed, 2 insertions(+) diff --git a/test-suite/success/Nsatz.v b/test-suite/success/Nsatz.v -index d316e4a..d783b2a 100644 +index e38affd..040169e 100644 --- a/test-suite/success/Nsatz.v +++ b/test-suite/success/Nsatz.v -@@ -461,6 +461,7 @@ idtac "chords". +@@ -462,6 +462,7 @@ idtac "chords". (*Finished transaction in 4. secs (3.959398u,0.s)*) Qed. @@ -19,7 +19,7 @@ index d316e4a..d783b2a 100644 Lemma Ceva: forall A B C D E F M:point, collinear M A D -> collinear M B E -> collinear M C F -> collinear B C D -> collinear E A C -> collinear F A B -> -@@ -472,6 +473,7 @@ idtac "Ceva". +@@ -473,6 +474,7 @@ idtac "Ceva". Time nsatz. (*Finished transaction in 105. secs (104.121171u,0.474928s)*) Qed. @@ -27,4 +27,3 @@ index d316e4a..d783b2a 100644 Lemma bissectrices: forall A B C M:point, equaltangente C A M M A B -> --- diff --git a/debian/patches/0002-Remove-test-4366-too-picky-on-the-timeout.patch b/debian/patches/0002-Remove-test-4366-too-picky-on-the-timeout.patch new file mode 100644 index 000..e71306c --- /dev/null +++ b/debian/patches/0002-Remove-test-4366-too-picky-on-the-timeout.patch @@ -0,0 +1,30 @@ +From: Enrico Tassi <gareuselesi...@debian.org> +Date: Tue, 26 Jan 2016 16:58:25 +0100 +Subject: Remove test 4366 (too picky on the timeout) + +--- + test-suite/bugs/closed/4366.v | 15 --- + 1 file changed, 15 deletions(-) + delete mode 100644 test-suite/bugs/closed/4366.v + +diff --git a/test-suite/bugs/closed/4366.v b/test-suite/bugs/closed/4366.v +deleted file mode 100644 +index 6a5e9a4..000 +--- a/test-suite/bugs/closed/4366.v /dev/null +@@ -1,15 +0,0 @@ +-Fixpoint stupid (n : nat) : unit := +-match n with +-| 0 => tt +-| S n => +- let () := stupid n in +- let () := stupid n in +- tt +-end. +- +-Goal True. +-Proof. +-pose (v := stupid 24). +-Timeout 2 vm_compute in v. +-exact I. +-Qed. diff --git a/debian/patches/series b/debian/patches/series index 53d51a1..7521511 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch +0002-Remove-test-4366-too-picky-on-the-timeout.patch diff --git a/debian/rules b/debian/rules index 7944985..4cf2f8f 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.5beta3 +COQ_VERSION := 8.5 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] annotated tag upstream/8.5 created (now 24c37ef)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5 in repository coq. at 24c37ef (tag) tagging 164c6861860e6b52818c031f901ffeff91fca16a (commit) replaces upstream/8.5_beta3+dfsg tagged by Enrico Tassi on Tue Jan 26 16:56:34 2016 +0100 - Log - Upstream version 8.5 Enrico Tassi (1): Imported Upstream version 8.5 --- 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] 01/01: pristine-tar data for coq_8.5.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 1dd2832548e89cba030d9850223b7df53aa849cb Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Jan 26 16:56:34 2016 +0100 pristine-tar data for coq_8.5.orig.tar.gz --- coq_8.5.orig.tar.gz.delta | Bin 0 -> 78166 bytes coq_8.5.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/coq_8.5.orig.tar.gz.delta b/coq_8.5.orig.tar.gz.delta new file mode 100644 index 000..aa8caa5 Binary files /dev/null and b/coq_8.5.orig.tar.gz.delta differ diff --git a/coq_8.5.orig.tar.gz.id b/coq_8.5.orig.tar.gz.id new file mode 100644 index 000..fde3422 --- /dev/null +++ b/coq_8.5.orig.tar.gz.id @@ -0,0 +1 @@ +4f91d20c890c25915e7b28226c663b94a8cfb0d3 -- 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] 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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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 +
[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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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 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] 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-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
[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 <gareuselesi...@debian.org> 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 <gareuselesi...@debian.org> 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] 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] 02/02: enable make test-suite at build time
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 64fa31c7ee53e79b112507fb2eea27dc7648328d Author: Enrico Tassi gareuselesi...@debian.org Date: Mon Jul 20 09:53:58 2015 +0200 enable make test-suite at build time --- debian/changelog | 1 + debian/rules | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 23fccd0..ea58654 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ coq (8.5~beta2+dfsg-2) experimental; urgency=medium * Enable native compiler only on amd64 and i386 + * Enable 'make test-suite' target -- Enrico Tassi gareuselesi...@debian.org Mon, 20 Jul 2015 09:51:21 +0200 diff --git a/debian/rules b/debian/rules index de43511..c57e9a0 100755 --- a/debian/rules +++ b/debian/rules @@ -79,8 +79,7 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: - # disabled since beta1 does not pass all tests - #$(MAKE) test-suite COMPLEXITY= + $(MAKE) test-suite COMPLEXITY= .PHONY: override_dh_auto_install override_dh_auto_install: -- 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 (1b01480 - 64fa31c)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 1b01480 fix build deps new d57f8a9 disable native compiler on non-mainstream arches new 64fa31c enable make test-suite at build time 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: debian/changelog | 7 +++ debian/rules | 13 ++--- 2 files changed, 17 insertions(+), 3 deletions(-) -- 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_beta2+dfsg-2 created (now 87a6e3d)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta2+dfsg-2 in repository coq. at 87a6e3d (tag) tagging 64fa31c7ee53e79b112507fb2eea27dc7648328d (commit) replaces debian/8.5_beta2+dfsg-1 tagged by Enrico Tassi on Mon Jul 20 09:54:26 2015 +0200 - Log - coq Debian release 8.5~beta2+dfsg-2 Enrico Tassi (2): disable native compiler on non-mainstream arches enable make test-suite at build time --- 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] 01/02: disable native compiler on non-mainstream arches
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit d57f8a932cc2ca71b9583df4b8e9fb111f80b180 Author: Enrico Tassi gareuselesi...@debian.org Date: Mon Jul 20 09:52:10 2015 +0200 disable native compiler on non-mainstream arches --- debian/changelog | 6 ++ debian/rules | 10 +- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 316f566..23fccd0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.5~beta2+dfsg-2) experimental; urgency=medium + + * Enable native compiler only on amd64 and i386 + + -- Enrico Tassi gareuselesi...@debian.org Mon, 20 Jul 2015 09:51:21 +0200 + coq (8.5~beta2+dfsg-1) experimental; urgency=medium * New upstream release diff --git a/debian/rules b/debian/rules index d75b48e..de43511 100755 --- a/debian/rules +++ b/debian/rules @@ -25,12 +25,20 @@ PACKAGES := $(shell dh_listpackages) COQ_VERSION := 8.5beta2 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) +ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) +ifeq ($(ARCH),$(filter $(ARCH),amd64 i386)) +NATIVE_COMPUTE := +else +NATIVE_COMPUTE := -no-native-compiler +endif + CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \ -configdir /etc/xdg/coq \ -emacslib /usr/share/emacs/site-lisp/coq \ -browser /usr/bin/x-www-browser %s \ -with-doc no \ - -debug + -debug \ + $(NATIVE_COMPUTE) export OCAMLINIT_SED += \ -e 's%@CoqVersion@%$(COQ_VERSION)%' \ -- 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 build deps
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 1b014807aa88271b107b5cbb9e2d8bb471e9208f Author: Enrico Tassi gareuselesi...@debian.org Date: Thu Jul 16 16:58:08 2015 +0200 fix build deps --- debian/changelog | 3 ++- debian/control | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index c4dae73..316f566 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.5~beta2+dfsg-1) UNRELEASED; urgency=medium +coq (8.5~beta2+dfsg-1) experimental; urgency=medium * New upstream release * Add Enrico Tassi to uploaders @@ -8,6 +8,7 @@ coq (8.5~beta2+dfsg-1) UNRELEASED; urgency=medium * coq depends on coq-theories binary:Version * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files (hardening-no-relro) + * Build depend on liblablgtksourceview2-ocaml-dev -- Enrico Tassi gareuselesi...@debian.org Wed, 15 Jul 2015 11:36:30 +0200 diff --git a/debian/control b/debian/control index 9b0db8b..3940a18 100644 --- a/debian/control +++ b/debian/control @@ -16,6 +16,7 @@ Build-Depends: ocaml-findlib (= 1.4), camlp5 (= 5.12-2~), liblablgtk2-ocaml-dev (= 2.14), + liblablgtksourceview2-ocaml-dev, texlive-latex-extra, hevea (= 1.10-7) Homepage: http://coq.inria.fr/ -- 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 (7e60dbc - 1b01480)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 7e60dbc more overrides new 1b01480 fix build deps 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 | 3 ++- debian/control | 1 + 2 files changed, 3 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] annotated tag debian/8.5_beta2+dfsg-1 created (now 77dbe45)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta2+dfsg-1 in repository coq. at 77dbe45 (tag) tagging 1b014807aa88271b107b5cbb9e2d8bb471e9208f (commit) replaces debian/8.4pl4dfsg-1 tagged by Enrico Tassi on Thu Jul 16 19:50:46 2015 +0200 - Log - coq Debian release 8.5~beta2+dfsg-1 Enrico Tassi (14): Imported Upstream version 8.5~beta1+dfsg Imported Upstream version 8.5~beta1+dfsg Merge tag 'upstream/8.5_beta1+dfsg' Packaging 8.5beta1 make bin-nmuable .cma files are not executables override hardening-no-relro for native compute cmxs files update changelog Imported Upstream version 8.5~beta2+dfsg Merge tag 'upstream/8.5_beta2+dfsg' into test Remove unneeded comment beta2 more overrides fix build deps --- 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] 04/04: update changelog
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit c01be74d81a5466c58f8dc6c568db286b0979997 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 10:01:05 2015 +0200 update changelog --- debian/changelog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 41a7c66..9a1b0ba 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,11 +1,12 @@ coq (8.5~beta1+dfsg-1) experimental; urgency=medium * New upstream release - * Add myself to uploaders + * Add Enrico Tassi to uploaders * Disable patch for lockf on Hurd (not needed anymore) * coq-theories is now arch any, since it contains .coq-native/ directories (i.e. cmxs files for native compute) * coq depends on coq-theories binary:Version + * lintian-overrides for coq-native/*cmx* files (hardening-no-relro) -- Enrico Tassi gareuselesi...@debian.org Sun, 25 Jan 2015 13:48:50 +0100 -- 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 (9d22a41 - c01be74)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 9d22a41 Packaging 8.5beta1 new d779812 make bin-nmuable new 8c40e73 .cma files are not executables new b81f67d override hardening-no-relro for native compute cmxs files new c01be74 update changelog The 4 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 | 4 +++- debian/control| 2 +- debian/coq-theories.lintian-overrides | 1 + debian/rules | 1 + 4 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 debian/coq-theories.lintian-overrides -- 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/04: override hardening-no-relro for native compute cmxs files
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit b81f67debd8e75b481f2b5314c56c9876e9225a0 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 09:53:44 2015 +0200 override hardening-no-relro for native compute cmxs files --- debian/coq-theories.lintian-overrides | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/coq-theories.lintian-overrides b/debian/coq-theories.lintian-overrides new file mode 100644 index 000..6ae619a --- /dev/null +++ b/debian/coq-theories.lintian-overrides @@ -0,0 +1 @@ +hardening-no-relro *coq-native* -- 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/04: .cma files are not executables
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 8c40e737d99ccef45c79021d723a90e76cf5c3b1 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 09:44:14 2015 +0200 .cma files are not executables --- debian/rules | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/rules b/debian/rules index cbc4646..367b34e 100755 --- a/debian/rules +++ b/debian/rules @@ -95,6 +95,7 @@ override_dh_auto_install: .PHONY: override_dh_install override_dh_install: + chmod a-x debian/tmp/usr/lib/coq/toploop/*cma dh_install --fail-missing cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm -- 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/04: make bin-nmuable
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit d7798125b2a6c2a43d232db8222d4c3354c09bb9
Author: Enrico Tassi gareuselesi...@debian.org
Date: Wed Jul 15 09:28:35 2015 +0200
make bin-nmuable
---
debian/changelog | 1 +
debian/control | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/debian/changelog b/debian/changelog
index 00b9d66..41a7c66 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,7 @@ coq (8.5~beta1+dfsg-1) experimental; urgency=medium
* Disable patch for lockf on Hurd (not needed anymore)
* coq-theories is now arch any, since it contains .coq-native/ directories
(i.e. cmxs files for native compute)
+ * coq depends on coq-theories binary:Version
-- Enrico Tassi gareuselesi...@debian.org Sun, 25 Jan 2015 13:48:50 +0100
diff --git a/debian/control b/debian/control
index 03fa3bd..9b0db8b 100644
--- a/debian/control
+++ b/debian/control
@@ -25,7 +25,7 @@ Vcs-Git:
git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
Package: coq
Architecture: any
Depends:
- coq-theories (= ${source:Version}),
+ coq-theories (= ${binary:Version}),
emacsen-common,
${ocaml:Depends},
${shlibs:Depends},
--
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 (c01be74 - 7e60dbc)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from c01be74 update changelog new 0aa2544 Imported Upstream version 8.5~beta2+dfsg new e347929 Merge tag 'upstream/8.5_beta2+dfsg' into test new 9efa102 Remove unneeded comment new b9b5b95 beta2 new 7e60dbc more overrides The 5 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: CHANGES | 143 +- COMPATIBILITY | 14 + INSTALL | 48 +- INSTALL.ide | 126 +- INSTALL.macosx| 20 - Makefile |2 +- Makefile.build| 10 +- Makefile.common | 12 +- Makefile.doc | 14 +- README.win| 49 +- _tags |4 +- checker/check.ml |2 +- checker/checker.ml|3 +- checker/cic.mli |2 +- checker/declarations.ml |2 +- checker/indtypes.ml |1 - checker/reduction.ml | 10 +- checker/safe_typing.ml|3 +- checker/univ.ml | 43 +- checker/values.ml | 43 +- checker/votour.ml | 154 +- configure.ml | 177 +- debian/changelog |7 +- debian/libcoq-ocaml.lintian-overrides |1 + debian/rules |5 +- dev/TODO | 22 - dev/nsis/coq.nsi |4 +- dev/top_printers.ml |5 +- doc/stdlib/index-list.html.template |7 + doc/whodidwhat/whodidwhat-8.4update.tex | 20 +- grammar/vernacextend.ml4 | 50 +- ide/MacOS/Info.plist.template |2 +- ide/MacOS/default_accel_map |1 - ide/coq.lang | 59 +- ide/coqOps.ml | 42 +- ide/coq_commands.ml |2 - ide/coqide.ml | 73 +- ide/coqide_ui.ml |1 - ide/gtk_parsing.ml| 13 + ide/ide_slave.ml |8 +- ide/ideutils.ml | 50 +- ide/ideutils.mli |4 +- ide/preferences.ml| 39 +- ide/preferences.mli |2 + ide/project_file.ml4 | 22 +- ide/session.ml| 41 +- ide/session.mli |1 + ide/tags.ml | 26 +- ide/tags.mli | 13 +- ide/wg_Find.ml| 14 +- ide/wg_MessageView.ml | 31 +- ide/wg_MessageView.mli|9 + ide/wg_ProofView.ml |5 + ide/wg_ProofView.mli |1 + ide/wg_ScriptView.ml | 13 +- ide/wg_Segment.ml | 31 +- ide/wg_Segment.mli|8 + interp/constrarg.ml |3 + interp/constrarg.mli |2 + interp/constrextern.ml|2 +- interp/constrintern.ml|1 - interp/constrintern.mli |1 + interp/coqlib.ml |2 - interp/coqlib.mli |1 - interp/genintern.ml |1 - interp/genintern.mli |1 - interp/modintern.ml |4 +- interp/notation.ml| 32 +- interp/notation.mli |4 + interp/notation_ops.ml| 63 + interp/notation_ops.mli |2 + intf/tacexpr.mli
[Pkg-ocaml-maint-commits] [coq] 01/01: pristine-tar data for coq_8.5~beta2+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 1aedadb144a22daf9cf8e4a576e9fdf3c24e259d Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 10:36:13 2015 +0200 pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz --- coq_8.5~beta2+dfsg.orig.tar.gz.delta | Bin 0 - 73448 bytes coq_8.5~beta2+dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/coq_8.5~beta2+dfsg.orig.tar.gz.delta b/coq_8.5~beta2+dfsg.orig.tar.gz.delta new file mode 100644 index 000..79c27bc Binary files /dev/null and b/coq_8.5~beta2+dfsg.orig.tar.gz.delta differ diff --git a/coq_8.5~beta2+dfsg.orig.tar.gz.id b/coq_8.5~beta2+dfsg.orig.tar.gz.id new file mode 100644 index 000..0890362 --- /dev/null +++ b/coq_8.5~beta2+dfsg.orig.tar.gz.id @@ -0,0 +1 @@ +12e8931a4a56da1a1bdfb89d670f4ba38fe08e1f -- 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 upstream updated (cec4741 - 0aa2544)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch upstream in repository coq. from cec4741 Imported Upstream version 8.5~beta1+dfsg new 0aa2544 Imported Upstream version 8.5~beta2+dfsg 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: CHANGES | 143 +- COMPATIBILITY | 14 + INSTALL | 48 +- INSTALL.ide | 126 +- INSTALL.macosx| 20 - Makefile |2 +- Makefile.build| 10 +- Makefile.common | 12 +- Makefile.doc | 14 +- README.win| 49 +- _tags |4 +- checker/check.ml |2 +- checker/checker.ml|3 +- checker/cic.mli |2 +- checker/declarations.ml |2 +- checker/indtypes.ml |1 - checker/reduction.ml | 10 +- checker/safe_typing.ml|3 +- checker/univ.ml | 43 +- checker/values.ml | 43 +- checker/votour.ml | 154 +- configure.ml | 177 +- dev/TODO | 22 - dev/nsis/coq.nsi |4 +- dev/top_printers.ml |5 +- doc/stdlib/index-list.html.template |7 + doc/whodidwhat/whodidwhat-8.4update.tex | 20 +- grammar/vernacextend.ml4 | 50 +- ide/MacOS/Info.plist.template |2 +- ide/MacOS/default_accel_map |1 - ide/coq.lang | 59 +- ide/coqOps.ml | 42 +- ide/coq_commands.ml |2 - ide/coqide.ml | 73 +- ide/coqide_ui.ml |1 - ide/gtk_parsing.ml| 13 + ide/ide_slave.ml |8 +- ide/ideutils.ml | 50 +- ide/ideutils.mli |4 +- ide/preferences.ml| 39 +- ide/preferences.mli |2 + ide/project_file.ml4 | 22 +- ide/session.ml| 41 +- ide/session.mli |1 + ide/tags.ml | 26 +- ide/tags.mli | 13 +- ide/wg_Find.ml| 14 +- ide/wg_MessageView.ml | 31 +- ide/wg_MessageView.mli|9 + ide/wg_ProofView.ml |5 + ide/wg_ProofView.mli |1 + ide/wg_ScriptView.ml | 13 +- ide/wg_Segment.ml | 31 +- ide/wg_Segment.mli|8 + interp/constrarg.ml |3 + interp/constrarg.mli |2 + interp/constrextern.ml|2 +- interp/constrintern.ml|1 - interp/constrintern.mli |1 + interp/coqlib.ml |2 - interp/coqlib.mli |1 - interp/genintern.ml |1 - interp/genintern.mli |1 - interp/modintern.ml |4 +- interp/notation.ml| 32 +- interp/notation.mli |4 + interp/notation_ops.ml| 63 + interp/notation_ops.mli |2 + intf/tacexpr.mli |2 - intf/vernacexpr.mli |4 +- kernel/byterun/coq_fix_code.c | 11 +- kernel/byterun/coq_interp.c | 81 +- kernel/byterun/int64_native.h | 16 +- kernel/cbytecodes.ml |3
[Pkg-ocaml-maint-commits] [coq] 03/05: Remove unneeded comment
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 9efa102039972ea78f63317caa9da7b91bfd6d72 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 11:37:33 2015 +0200 Remove unneeded comment --- debian/rules | 3 --- 1 file changed, 3 deletions(-) diff --git a/debian/rules b/debian/rules index 367b34e..e7d63af 100755 --- a/debian/rules +++ b/debian/rules @@ -59,9 +59,6 @@ ifeq ($(BUILDCACHE),) $(MAKE) world STRIP=true $(MAKE) DOC_TARGETS=$(HTMLDOC) $(HTMLDOC) - # uncomment to create the cache - #mkdir ../coq.cache - #rsync -a --exclude=debian --exclude=.git . ../coq.cache/ else rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ . endif -- 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: Merge tag 'upstream/8.5_beta2+dfsg' into test
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit e347929583f820a2cc0296597b6382309e930989 Merge: c01be74 0aa2544 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 13:15:50 2015 +0200 Merge tag 'upstream/8.5_beta2+dfsg' into test Upstream version 8.5~beta2+dfsg CHANGES | 143 +- COMPATIBILITY | 14 + INSTALL | 48 +- INSTALL.ide | 126 +- INSTALL.macosx| 20 - Makefile |2 +- Makefile.build| 10 +- Makefile.common | 12 +- Makefile.doc | 14 +- README.win| 49 +- _tags |4 +- checker/check.ml |2 +- checker/checker.ml|3 +- checker/cic.mli |2 +- checker/declarations.ml |2 +- checker/indtypes.ml |1 - checker/reduction.ml | 10 +- checker/safe_typing.ml|3 +- checker/univ.ml | 43 +- checker/values.ml | 43 +- checker/votour.ml | 154 +- configure.ml | 177 +- dev/TODO | 22 - dev/nsis/coq.nsi |4 +- dev/top_printers.ml |5 +- doc/stdlib/index-list.html.template |7 + doc/whodidwhat/whodidwhat-8.4update.tex | 20 +- grammar/vernacextend.ml4 | 50 +- ide/MacOS/Info.plist.template |2 +- ide/MacOS/default_accel_map |1 - ide/coq.lang | 59 +- ide/coqOps.ml | 42 +- ide/coq_commands.ml |2 - ide/coqide.ml | 73 +- ide/coqide_ui.ml |1 - ide/gtk_parsing.ml| 13 + ide/ide_slave.ml |8 +- ide/ideutils.ml | 50 +- ide/ideutils.mli |4 +- ide/preferences.ml| 39 +- ide/preferences.mli |2 + ide/project_file.ml4 | 22 +- ide/session.ml| 41 +- ide/session.mli |1 + ide/tags.ml | 26 +- ide/tags.mli | 13 +- ide/wg_Find.ml| 14 +- ide/wg_MessageView.ml | 31 +- ide/wg_MessageView.mli|9 + ide/wg_ProofView.ml |5 + ide/wg_ProofView.mli |1 + ide/wg_ScriptView.ml | 13 +- ide/wg_Segment.ml | 31 +- ide/wg_Segment.mli|8 + interp/constrarg.ml |3 + interp/constrarg.mli |2 + interp/constrextern.ml|2 +- interp/constrintern.ml|1 - interp/constrintern.mli |1 + interp/coqlib.ml |2 - interp/coqlib.mli |1 - interp/genintern.ml |1 - interp/genintern.mli |1 - interp/modintern.ml |4 +- interp/notation.ml| 32 +- interp/notation.mli |4 + interp/notation_ops.ml| 63 + interp/notation_ops.mli |2 + intf/tacexpr.mli |2 - intf/vernacexpr.mli |4 +- kernel/byterun/coq_fix_code.c | 11 +- kernel/byterun/coq_interp.c | 81 +- kernel/byterun/int64_native.h | 16 +- kernel/cbytecodes.ml |3 + kernel/cbytecodes.mli |1 + kernel/cbytegen.ml| 132
[Pkg-ocaml-maint-commits] [coq] 05/05: more overrides
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 7e60dbce04177fa01583ce81d79d47eeed306ae4 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 13:17:45 2015 +0200 more overrides --- debian/changelog | 3 ++- debian/libcoq-ocaml.lintian-overrides | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 288ce57..c4dae73 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,7 +6,8 @@ coq (8.5~beta2+dfsg-1) UNRELEASED; urgency=medium * coq-theories is now arch any, since it contains .coq-native/ directories (i.e. cmxs files for native compute) * coq depends on coq-theories binary:Version - * lintian-overrides for coq-native/*cmx* files (hardening-no-relro) + * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files +(hardening-no-relro) -- Enrico Tassi gareuselesi...@debian.org Wed, 15 Jul 2015 11:36:30 +0200 diff --git a/debian/libcoq-ocaml.lintian-overrides b/debian/libcoq-ocaml.lintian-overrides new file mode 100644 index 000..33365c0 --- /dev/null +++ b/debian/libcoq-ocaml.lintian-overrides @@ -0,0 +1 @@ +hardening-no-relro *plugins*cmxs -- 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] 04/05: beta2
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit b9b5b95702dc8b9fab44bbfdfc70d3127d890e24 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Jul 15 11:36:59 2015 +0200 beta2 --- debian/changelog | 4 ++-- debian/rules | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index 9a1b0ba..288ce57 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -coq (8.5~beta1+dfsg-1) experimental; urgency=medium +coq (8.5~beta2+dfsg-1) UNRELEASED; urgency=medium * New upstream release * Add Enrico Tassi to uploaders @@ -8,7 +8,7 @@ coq (8.5~beta1+dfsg-1) experimental; urgency=medium * coq depends on coq-theories binary:Version * lintian-overrides for coq-native/*cmx* files (hardening-no-relro) - -- Enrico Tassi gareuselesi...@debian.org Sun, 25 Jan 2015 13:48:50 +0100 + -- Enrico Tassi gareuselesi...@debian.org Wed, 15 Jul 2015 11:36:30 +0200 coq (8.4pl4dfsg-1) unstable; urgency=medium diff --git a/debian/rules b/debian/rules index e7d63af..d75b48e 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ ADDPREF := COQINSTALLPREFIX=$(COQPREF) OLDROOT= PACKAGES := $(shell dh_listpackages) -COQ_VERSION := 8.5beta1 +COQ_VERSION := 8.5beta2 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) 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] branch pristine-tar updated (c042f85 - 1aedadb)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository coq. from c042f85 pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz new 1aedadb pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz 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: coq_8.5~beta2+dfsg.orig.tar.gz.delta | Bin 0 - 73448 bytes coq_8.5~beta2+dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 coq_8.5~beta2+dfsg.orig.tar.gz.delta create mode 100644 coq_8.5~beta2+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] annotated tag upstream/8.5_beta2+dfsg created (now a1b8ed8)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5_beta2+dfsg in repository coq. at a1b8ed8 (tag) tagging 0aa2544d04dbd4b6ee665b551ed165e4fb02d2fa (commit) replaces upstream/8.5_beta1+dfsg tagged by Enrico Tassi on Wed Jul 15 10:36:13 2015 +0200 - Log - Upstream version 8.5~beta2+dfsg Enrico Tassi (1): Imported Upstream version 8.5~beta2+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 upstream/8.5_beta1+dfsg created (now b8e8c71)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5_beta1+dfsg in repository coq. at b8e8c71 (tag) tagging cec4741afacd2e80894232850eaf9f9c0e45d6d7 (commit) replaces upstream/8.4pl4dfsg tagged by Enrico Tassi on Sun Jan 25 14:43:16 2015 +0100 - Log - Upstream version 8.5~beta1+dfsg Enrico Tassi (2): Imported Upstream version 8.5~beta1+dfsg Imported Upstream version 8.5~beta1+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] 04/04: Packaging 8.5beta1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 9d22a41a7047e6462c28a11203bf30b7657a4b53
Author: Enrico Tassi gareuselesi...@debian.org
Date: Tue Jul 14 12:40:07 2015 +0200
Packaging 8.5beta1
---
debian/changelog | 10
debian/control | 10 ++--
debian/copyright | 2 +-
debian/coq-theories.doc-base | 2 +-
debian/coq.install.in | 2 +-
debian/coqide.install | 4 +-
debian/libcoq-ocaml-dev.install.in | 20 ---
debian/libcoq-ocaml.install.in | 70 +++---
.../0002-Disable-micromega-tests-on-Hurd.patch | 25
debian/patches/series | 1 -
debian/rules | 33 +++---
11 files changed, 95 insertions(+), 84 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 8deffbc..00b9d66 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+coq (8.5~beta1+dfsg-1) experimental; urgency=medium
+
+ * New upstream release
+ * Add myself to uploaders
+ * Disable patch for lockf on Hurd (not needed anymore)
+ * coq-theories is now arch any, since it contains .coq-native/ directories
+(i.e. cmxs files for native compute)
+
+ -- Enrico Tassi gareuselesi...@debian.org Sun, 25 Jan 2015 13:48:50 +0100
+
coq (8.4pl4dfsg-1) unstable; urgency=medium
* New upstream release (Closes: #755953)
diff --git a/debian/control b/debian/control
index c323cf4..03fa3bd 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,8 @@ Maintainer: Debian OCaml Maintainers
debian-ocaml-ma...@lists.debian.org
Uploaders:
Ralf Treinen trei...@debian.org,
Samuel Mimram smim...@debian.org,
- Stéphane Glondu glo...@debian.org
+ Stéphane Glondu glo...@debian.org,
+ Enrico Tassi gareuselesi...@debian.org
Standards-Version: 3.9.5
Build-Depends:
debhelper (= 9),
@@ -28,7 +29,8 @@ Depends:
emacsen-common,
${ocaml:Depends},
${shlibs:Depends},
- ${misc:Depends}
+ ${misc:Depends},
+ ocaml-best-compilers
Provides: coq-${F:CoqABI}
Recommends: coqide | proofgeneral
Suggests:
@@ -68,8 +70,8 @@ Description: proof assistant for higher-order logic (gtk
interface)
developing proofs.
Package: coq-theories
-Architecture: all
-Depends: coq-${F:CoqABI}, ${misc:Depends}
+Architecture: any
+Depends: coq-${F:CoqABI}, ${misc:Depends}, ${shlibs:Depends}
Recommends: coq (= 8.0)
Breaks: coq-doc (= 8.0pl1.0-2), coq-libs ( 8.2.pl1)
Replaces: coq-libs ( 8.2.pl1)
diff --git a/debian/copyright b/debian/copyright
index a413476..4318971 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -4,7 +4,7 @@ Packaged-Date: Fri, 03 Dec 1999 22:06:04 +0100
Source: http://coq.inria.fr/
Files: *
-Copyright: 1999-2014 The Coq development team, INRIA, CNRS, University Paris
Sud, University Paris 7, Ecole Polytechnique
+Copyright: 1999-2015 The Coq development team, INRIA, CNRS, University Paris
Sud, University Paris 7, Ecole Polytechnique
License: LGPL-2.1
Files: debian/*
diff --git a/debian/coq-theories.doc-base b/debian/coq-theories.doc-base
index ab3904e..f21378b 100644
--- a/debian/coq-theories.doc-base
+++ b/debian/coq-theories.doc-base
@@ -1,7 +1,7 @@
Document: coq-library
Title: The Coq Standard Library
Author: The Coq Development Team
-Abstract: Standard Library documentation of version 8.0 of the Coq proof
assistant which is a system designed to develop mathematical proofs, and
especially to write formal specifications, programs and to verify that programs
are correct with respect to their specification.
+Abstract: Standard Library documentation of the Coq proof assistant which is a
system designed to develop mathematical proofs, and especially to write formal
specifications, programs and to verify that programs are correct with respect
to their specification.
Section: Science/Mathematics
Format: HTML
diff --git a/debian/coq.install.in b/debian/coq.install.in
index 2c0f9c8..de06ab2 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -6,10 +6,10 @@ usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/gallina*
+usr/bin/coqworkmgr*
usr/lib/coq/plugins/micromega/csdpcert
usr/lib/coq/tools/coqdoc/coqdoc.css
usr/lib/coq/tools/coqdoc/coqdoc.sty
-usr/lib/coq/states/initial.coq
usr/share/emacs/site-lisp/coq/
usr/share/man/man1/coqc*
usr/share/man/man1/coqdep*
diff --git a/debian/coqide.install b/debian/coqide.install
index 4336ff0..c0189e2 100644
--- a/debian/coqide.install
+++ b/debian/coqide.install
@@ -1,6 +1,8 @@
usr/bin/coqide*
usr/share/coq/coq.png
-etc/xdg/coq/coqide-gtk2rc
+usr/share/coq/*.lang
+usr/share/coq/*_style.xml
usr/share/doc/coq/FAQ-CoqIde usr/share/doc/coqide
usr/share/man/man1/coqide*
+usr/lib/coq/toploop/coqidetop.*
debian
[Pkg-ocaml-maint-commits] [coq] 02/02: pristine-tar data for coq_8.5~beta1+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 c042f85ec49c1651bf15e957724df0b3ba8d3261 Author: Enrico Tassi gareuselesi...@debian.org Date: Sun Jan 25 14:43:16 2015 +0100 pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz --- coq_8.5~beta1+dfsg.orig.tar.gz.delta | Bin 73578 - 73751 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/coq_8.5~beta1+dfsg.orig.tar.gz.delta b/coq_8.5~beta1+dfsg.orig.tar.gz.delta index 0a7f233..9270870 100644 Binary files a/coq_8.5~beta1+dfsg.orig.tar.gz.delta and b/coq_8.5~beta1+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] 02/04: Imported Upstream version 8.5~beta1+dfsg
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit cec4741afacd2e80894232850eaf9f9c0e45d6d7 Author: Enrico Tassi gareuselesi...@debian.org Date: Sun Jan 25 14:43:14 2015 +0100 Imported Upstream version 8.5~beta1+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] [matita] 01/02: Fix configuration script w.r.t. lablgtk 2.16
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository matita. commit 7beb1315307a102e5129acc03f5fc70bb37c293b Author: Enrico Tassi gareuselesi...@debian.org Date: Tue Dec 10 20:14:26 2013 +0100 Fix configuration script w.r.t. lablgtk 2.16 --- debian/changelog| 7 +++ debian/patches/0001-configure.patch | 32 debian/patches/configure| 12 debian/patches/series | 2 +- 4 files changed, 40 insertions(+), 13 deletions(-) diff --git a/debian/changelog b/debian/changelog index bca040e..a2abc1c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +matita (0.99.1-3) unstable; urgency=medium + + * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview +(Closes: #731702) + + -- Enrico Tassi gareuselesi...@debian.org Tue, 10 Dec 2013 20:15:50 +0100 + matita (0.99.1-2) unstable; urgency=low * Fix clean target (Closes: 724163) diff --git a/debian/patches/0001-configure.patch b/debian/patches/0001-configure.patch new file mode 100644 index 000..88c5c07 --- /dev/null +++ b/debian/patches/0001-configure.patch @@ -0,0 +1,32 @@ +From: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org +Date: Tue, 10 Dec 2013 20:13:18 +0100 +Subject: configure + +=== +--- + configure.ac | 5 ++--- + 1 file changed, 2 insertions(+), 3 deletions(-) + +diff --git a/configure.ac b/configure.ac +index ddd0a2b..f1a7228 100644 +--- a/configure.ac b/configure.ac +@@ -62,8 +62,7 @@ expat \ + gdome2 \ + http \ + lablgtk2 \ +-lablgtksourceview2.gtksourceview2 \ +-mysql \ ++lablgtk2.sourceview2 \ + netstring \ + ulex08 \ + zip \ +@@ -88,7 +87,7 @@ $FINDLIB_COMREQUIRES \ + FINDLIB_REQUIRES=\ + $FINDLIB_CREQUIRES \ + lablgtk2.glade \ +-lablgtksourceview2.gtksourceview2 \ ++lablgtk2.sourceview2 \ + + for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES + do diff --git a/debian/patches/configure b/debian/patches/configure deleted file mode 100644 index 335ac70..000 --- a/debian/patches/configure +++ /dev/null @@ -1,12 +0,0 @@ -Index: matita/configure.ac -=== matita.orig/configure.ac 2012-05-06 18:10:31.0 +0200 -+++ matita/configure.ac2012-05-06 22:30:23.0 +0200 -@@ -63,7 +63,6 @@ - http \ - lablgtk2 \ - lablgtksourceview2.gtksourceview2 \ --mysql \ - netstring \ - ulex08 \ - zip \ diff --git a/debian/patches/series b/debian/patches/series index e8c05a6..ffa3813 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1 @@ -configure +0001-configure.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/matita.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] [matita] annotated tag debian/0.99.1-3 created (now bab5754)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/0.99.1-3 in repository matita. at bab5754 (tag) tagging dc9ac0b5c2c83ed753c92d11336a90259b29bffd (commit) replaces debian/0.99.1-2 tagged by Enrico Tassi on Tue Dec 10 21:35:11 2013 +0100 - Log - matita Debian release 0.99.1-3 Enrico Tassi (2): Fix configuration script w.r.t. lablgtk 2.16 Patch to fix type checker inference of polymorphic variants --- 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/matita.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] [matita] 02/02: Patch to fix type checker inference of polymorphic variants
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository matita. commit dc9ac0b5c2c83ed753c92d11336a90259b29bffd Author: Enrico Tassi gareuselesi...@debian.org Date: Tue Dec 10 20:27:38 2013 +0100 Patch to fix type checker inference of polymorphic variants --- debian/changelog | 1 + ...p-type-checker-for-nCicUntrusted.set_kind.patch | 23 ++ debian/patches/series | 1 + 3 files changed, 25 insertions(+) diff --git a/debian/changelog b/debian/changelog index a2abc1c..586270c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ matita (0.99.1-3) unstable; urgency=medium * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview (Closes: #731702) + * New patch to help the type checker in nCicUntrusted.set_kind -- Enrico Tassi gareuselesi...@debian.org Tue, 10 Dec 2013 20:15:50 +0100 diff --git a/debian/patches/0002-Help-type-checker-for-nCicUntrusted.set_kind.patch b/debian/patches/0002-Help-type-checker-for-nCicUntrusted.set_kind.patch new file mode 100644 index 000..dc3679a --- /dev/null +++ b/debian/patches/0002-Help-type-checker-for-nCicUntrusted.set_kind.patch @@ -0,0 +1,23 @@ +From: Enrico Tassi gareuselesi...@debian.org +Date: Tue, 10 Dec 2013 20:26:15 +0100 +Subject: Help type checker for nCicUntrusted.set_kind + +--- + components/ng_kernel/nCicUntrusted.ml | 4 ++-- + 1 file changed, 2 insertions(+), 2 deletions(-) + +diff --git a/components/ng_kernel/nCicUntrusted.ml b/components/ng_kernel/nCicUntrusted.ml +index df716eb..88c8ef9 100644 +--- a/components/ng_kernel/nCicUntrusted.ml b/components/ng_kernel/nCicUntrusted.ml +@@ -273,8 +273,8 @@ let rec replace_in_subst i f = function + | x::tl - x :: replace_in_subst i f tl + ;; + +-let set_kind newkind attrs = +- newkind :: List.filter (fun x - not (is_kind x)) attrs ++let set_kind (newkind : meta_kind) (attrs : NCic.meta_attrs) = ++ (newkind : NCic.meta_attr) :: List.filter (fun x - not (is_kind x)) attrs + ;; + + let max_kind k1 k2 = diff --git a/debian/patches/series b/debian/patches/series index ffa3813..365cdc0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0001-configure.patch +0002-Help-type-checker-for-nCicUntrusted.set_kind.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/matita.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] [matita] branch master updated (156f528 - ef07513)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository matita. from 156f528 Matita 0.99.1 packaged new ef07513 fix clean target 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/matita.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] [matita] 01/01: fix clean target
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository matita. commit ef075135a42373d914bd9f72f770a3905561f2e3 Author: Enrico Tassi gareuselesi...@debian.org Date: Wed Oct 2 11:16:33 2013 +0200 fix clean target --- debian/changelog |6 ++ debian/rules |2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index f6d7adb..bca040e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +matita (0.99.1-2) unstable; urgency=low + + * Fix clean target (Closes: 724163) + + -- Enrico Tassi gareuselesi...@debian.org Wed, 02 Oct 2013 11:16:08 +0200 + matita (0.99.1-1) unstable; urgency=low * New upstream release diff --git a/debian/rules b/debian/rules index f7e979f..bd1c612 100755 --- a/debian/rules +++ b/debian/rules @@ -10,7 +10,7 @@ override_dh_auto_configure: --with-dbhost=FAKE_HOST override_dh_auto_clean: - dh_auto_clean + dh_auto_clean || true rm -f Makefile.defs components/extlib/componentsConf.ml config.log config.status configure matita/.depend.opt matita/help/C/version.txt matita/matita.conf.xml matita/matita.glade.utf8 override_dh_auto_install: -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/matita.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] [matita] annotated tag debian/0.99.1-2 created (now 1d4dcc2)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/0.99.1-2 in repository matita. at 1d4dcc2 (tag) tagging ef075135a42373d914bd9f72f770a3905561f2e3 (commit) replaces debian/0.99.1-1 tagged by Enrico Tassi on Wed Oct 2 13:41:31 2013 +0200 - Log - matita Debian release 0.99.1-2 Enrico Tassi (1): fix clean target --- 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/matita.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] [SCM] matita packaging branch, master, updated. debian/0.5.8-4-16-g156f528
The following commit has been merged in the master branch: commit 3f142ce931e841a6dc57fbc9e2e5b8491f20cf90 Merge: 81f446c547f03a0d007be3a1802ee6075a0e20e2 2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115 Author: Enrico Tassi gareuselesi...@debian.org Date: Sun May 6 18:10:31 2012 +0200 Merge tag 'upstream/0.99.1' Upstream version 0.99.1 -- matita packaging ___ 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] [SCM] matita packaging branch, master, updated. debian/0.5.8-4-16-g156f528
The following commit has been merged in the master branch:
commit 156f5288de051c68fb6157ff66edf874bca1d6d0
Author: Enrico Tassi gareuselesi...@debian.org
Date: Sun May 6 21:29:29 2012 +0200
Matita 0.99.1 packaged
diff --git a/debian/changelog b/debian/changelog
index 2f1db80..f6d7adb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,20 @@
+matita (0.99.1-1) unstable; urgency=low
+
+ * New upstream release
+ * Removed package matita-doc (doc is available via F1)
+ * Switch to dh
+ * Add matita.desktop
+ * Remove the following patches (integrated upstream):
+- Fix-FTBFS-with-camlp5-6.05
+- matita.conf.xml.in
+- slist-sep
+- numbers
+- native-compilers
+ * New patch 'configure' to avoid useless build-dep on mysql ocaml bindings
+ * Cleanup debian
+
+ -- Enrico Tassi gareuselesi...@debian.org Sun, 06 May 2012 20:35:57 +0200
+
matita (0.5.8-4) unstable; urgency=medium
* Team upload
diff --git a/debian/compat b/debian/compat
index 7ed6ff8..45a4fb7 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-5
+8
diff --git a/debian/control b/debian/control
index a742da1..fd6a7b2 100644
--- a/debian/control
+++ b/debian/control
@@ -8,21 +8,16 @@ Build-Depends:
ocaml-findlib (= 1.2.1-2),
libgdome2-ocaml-dev,
liblablgtk2-ocaml-dev,
- liblablgtkmathview-ocaml-dev (= 0.7.8-3),
- libsqlite3-ocaml-dev,
libocamlnet-ocaml-dev,
libzip-ocaml-dev,
libhttp-ocaml-dev,
ocaml-ulex08 (= 0.8-4),
libexpat-ocaml-dev,
- debhelper (= 5),
- cdbs,
- libmysql-ocaml-dev,
+ debhelper (= 8),
camlp5 (= 5.04),
liblablgtksourceview2-ocaml-dev,
- help2man,
- libgtkmathview-dev (= 0.8.0-2)
-Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml
+ autoconf,
+ help2man
Standards-Version: 3.8.3
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
@@ -32,25 +27,6 @@ Package: matita
Architecture: any
Depends: ${shlibs:Depends}, ${interpreter:Depends}, ${misc:Depends}
Recommends: graphviz, yelp
-Suggests: matita-doc
-Conflicts: matita-standard-library
-Replaces: matita-standard-library
Description: interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
- .
- Matita adopts XML-encoded proof objects are produced for storage and exchange.
- This makes it compatible, at some extent, with Coq.
- .
- The graphical interface has been inspired by CtCoq and Proof General. It
- supports high quality bidimensional rendering of proofs and formulae
- transformed on-the-fly to MathML markup
-
-Package: matita-doc
-Architecture: all
-Suggests: matita, yelp
-Depends: ${misc:Depends}
-Section: doc
-Description: user manual of the Matita interactive theorem prover
- This package contains the PDF and HTML formatted Matita user manual.
-
diff --git a/debian/matita-doc.doc-base b/debian/matita-doc.doc-base
deleted file mode 100644
index 3c68dbe..000
--- a/debian/matita-doc.doc-base
+++ /dev/null
@@ -1,12 +0,0 @@
-Document: matita-manual
-Title: Matita user manual
-Author: HELM Team
-Abstract: User manual of the Matita interactive theorem prover.
-Section: Science/Mathematics
-
-Format: PDF
-Files: /usr/share/doc/matita-doc/pdf/matita.pdf
-
-Format: HTML
-Index: /usr/share/doc/matita-doc/html/index.html
-Files: /usr/share/doc/matita-doc/html/*
diff --git a/debian/matita-standard-library.dirs
b/debian/matita-standard-library.dirs
deleted file mode 100644
index a1564d1..000
--- a/debian/matita-standard-library.dirs
+++ /dev/null
@@ -1,2 +0,0 @@
-/usr/share/matita/ma/
-/usr/share/matita/xml/
diff --git a/debian/matita-standard-library.install
b/debian/matita-standard-library.install
deleted file mode 100644
index 0627e08..000
--- a/debian/matita-standard-library.install
+++ /dev/null
@@ -1,3 +0,0 @@
-/usr/share/matita/ma/
-/usr/share/matita/xml/
-/usr/share/matita/metadata.db
diff --git a/debian/matita.desktop b/debian/matita.desktop
new file mode 100644
index 000..6790baf
--- /dev/null
+++ b/debian/matita.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=Matita
+Comment=Interactive theorem prover
+Exec=matita
+Icon=/usr/share/matita/icons/matita.png
+Terminal=false
+Type=Application
+Categories=Education;Science;Math
diff --git a/debian/matita.install b/debian/matita.install
index a844159..6817aeb 100644
--- a/debian/matita.install
+++ b/debian/matita.install
@@ -5,11 +5,10 @@ usr/share/matita/LICENSE
usr/share/matita/*.xml
usr/share/matita/*.lang
usr/share/matita/*.gtkrc
-usr/share/matita/*.moo
usr/share/matita/*.templ
+usr/share/matita/lib/
usr/share/matita/matita usr/bin/
usr/share/matita/matitac usr/bin/
-usr/share/matita/matitadep usr/bin/
usr/share/matita/matitaclean usr/bin/
-usr/share/man/* usr/share/man/
-/usr/share/matita/ma/
+usr/share/man/
+debian/matita.desktop usr/share/applications/
diff --git a/debian/patches/Fix-FTBFS-with-camlp5-6.05.patch
b/debian/patches/Fix-FTBFS
[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, pristine-tar, updated. 630839b06fe2ed5e849f097ee8e33434b804811a
The following commit has been merged in the pristine-tar branch: commit 630839b06fe2ed5e849f097ee8e33434b804811a Author: Enrico Tassi gareuselesi...@debian.org Date: Sun May 6 18:10:30 2012 +0200 pristine-tar data for matita_0.99.1.orig.tar.gz diff --git a/matita_0.99.1.orig.tar.gz.delta b/matita_0.99.1.orig.tar.gz.delta new file mode 100644 index 000..2149263 Binary files /dev/null and b/matita_0.99.1.orig.tar.gz.delta differ diff --git a/matita_0.99.1.orig.tar.gz.id b/matita_0.99.1.orig.tar.gz.id new file mode 100644 index 000..ab4a52b --- /dev/null +++ b/matita_0.99.1.orig.tar.gz.id @@ -0,0 +1 @@ +4f52531a98e725c6a71ea4be08f083cc0e6aab6a -- matita packaging ___ 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] [SCM] matita packaging annotated tag, debian/0.99.1-1, created. debian/0.99.1-1
The annotated tag, debian/0.99.1-1 has been created at b36e49fafd1f86136182de768113e56bca8251a5 (tag) tagging 156f5288de051c68fb6157ff66edf874bca1d6d0 (commit) replaces debian/0.5.8-4 tagged by Enrico Tassi on Sun May 6 22:54:31 2012 +0200 - Shortlog Debian release 0.99.1-1 Enrico Tassi (3): Imported Upstream version 0.99.1 Merge tag 'upstream/0.99.1' Matita 0.99.1 packaged --- -- matita packaging ___ 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] [SCM] matita packaging annotated tag, upstream/0.99.1, created. upstream/0.99.1
The annotated tag, upstream/0.99.1 has been created at b60bff185235a2664be9c120eacc37240d9d2de4 (tag) tagging 2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115 (commit) replaces upstream/0.5.8 tagged by Enrico Tassi on Sun May 6 18:10:31 2012 +0200 - Shortlog Upstream version 0.99.1 Enrico Tassi (1): Imported Upstream version 0.99.1 --- -- matita packaging ___ 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] [SCM] ulex0.8 packaging branch, master, updated. debian/0.8-8-6-g55f232f
The following commit has been merged in the master branch: commit af788e345f5e15846ed5ded71ed93958ff857bd2 Author: Enrico Tassi ga...@fettunta.org Date: Mon Apr 12 17:59:22 2010 +0200 source format 3.0 (quilt) diff --git a/debian/changelog b/debian/changelog index 6e480c0..d28d58f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,13 @@ ulex0.8 (0.8-9) UNRELEASED; urgency=low + [ Stéphane Glondu ] * Use dh-ocaml for dependency generation (Closes: #577311) - -- Stéphane Glondu glo...@debian.org Mon, 12 Apr 2010 08:23:04 +0200 + [ Enrico Tassi ] + * use quilt instead of dpatch + * use source format 3.0 (quilt) + + -- Enrico Tassi gareuselesi...@debian.org Mon, 12 Apr 2010 17:58:01 +0200 ulex0.8 (0.8-8) unstable; urgency=low diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging branch, master, updated. debian/0.8-8-6-g55f232f
The following commit has been merged in the master branch: commit 6ef819ba30e9ab6a8ca408208ded51bd7987f594 Author: Enrico Tassi ga...@fettunta.org Date: Mon Apr 12 18:01:57 2010 +0200 added copyright year to make lintian happy diff --git a/debian/copyright b/debian/copyright index 6fcd9d4..d71237f 100644 --- a/debian/copyright +++ b/debian/copyright @@ -3,7 +3,7 @@ Fri, 24 Aug 2007 22:23:30 +0200. It was downloaded from http://www.cduce.org/download/ -Copyright (C) Alain Frisch alain.fri...@inria.fr +Copyright (C) 2005 Alain Frisch alain.fri...@inria.fr License: -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging branch, master, updated. debian/0.8-8-6-g55f232f
The following commit has been merged in the master branch: commit 245591dfd519f7a3813d226f98e79f21b92965d0 Author: Enrico Tassi ga...@fettunta.org Date: Mon Apr 12 18:05:49 2010 +0200 closing changelod, ready for upload diff --git a/debian/changelog b/debian/changelog index d28d58f..e677284 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,13 +1,13 @@ -ulex0.8 (0.8-9) UNRELEASED; urgency=low +ulex0.8 (0.8-9) unstable; urgency=low - [ Stéphane Glondu ] + [ Stéphane Glondu * Use dh-ocaml for dependency generation (Closes: #577311) [ Enrico Tassi ] * use quilt instead of dpatch * use source format 3.0 (quilt) - -- Enrico Tassi gareuselesi...@debian.org Mon, 12 Apr 2010 17:58:01 +0200 + -- Enrico Tassi gareuselesi...@debian.org Mon, 12 Apr 2010 18:05:02 +0200 ulex0.8 (0.8-8) unstable; urgency=low -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging branch, master, updated. debian/0.8-8-6-g55f232f
The following commit has been merged in the master branch: commit 55f232f4528b0fc4c61a9945266c7f445e1075d6 Author: Enrico Tassi ga...@fettunta.org Date: Mon Apr 12 18:07:25 2010 +0200 removed 00dpatch.conf diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf deleted file mode 100644 index 685acc6..000 --- a/debian/patches/00dpatch.conf +++ /dev/null @@ -1,2 +0,0 @@ -conf_debianonly=1 -conf_origtargzpath=../tarballs -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging annotated tag, debian/0.8-9, created. debian/0.8-9
The annotated tag, debian/0.8-9 has been created at 393925c32aa6b2642b1b1e10b53e42059dd72aa0 (tag) tagging 55f232f4528b0fc4c61a9945266c7f445e1075d6 (commit) replaces debian/0.8-8 tagged by Enrico Tassi on Mon Apr 12 18:07:49 2010 +0200 - Shortlog Debian release 0.8-9 Enrico Tassi (5): use quilt source format 3.0 (quilt) added copyright year to make lintian happy closing changelod, ready for upload removed 00dpatch.conf Stephane Glondu (1): Use dh-ocaml for dependency generation (Closes: #577311) --- -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging branch, master, updated. debian/0.8-9-1-g1f5f4c6
The following commit has been merged in the master branch: commit 1f5f4c642ef4bd7357741fceb6208935d5ef4f14 Author: Enrico Tassi ga...@fettunta.org Date: Mon Apr 12 18:38:53 2010 +0200 fix syntax in changelog, a ] was missing diff --git a/debian/changelog b/debian/changelog index e677284..06612b9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,6 @@ ulex0.8 (0.8-9) unstable; urgency=low - [ Stéphane Glondu + [ Stéphane Glondu] * Use dh-ocaml for dependency generation (Closes: #577311) [ Enrico Tassi ] -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] ulex0.8 packaging annotated tag, debian/0.8-10, created. debian/0.8-10
The annotated tag, debian/0.8-10 has been created at f86c97dd44e10304bd6ff8ba0ee95f2acf09864e (tag) tagging 24a678d8ef72fc5a9305315881aa89230d566933 (commit) replaces debian/0.8-9 tagged by Enrico Tassi on Mon Apr 12 21:02:25 2010 +0200 - Shortlog Debian release 0.8-10 Enrico Tassi (2): fix syntax in changelog, a ] was missing uploading fix to changelog --- -- ulex0.8 packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
