Hi,
somebody must have changed something with the hol-light git
repository. After pushing my changes, I received a bunch of
bounced commit messages, see below.
Could somebody fix this or does somebody know what the problem
is?
Bye,
Hendrik
--- Begin Message ---
This message was created automatically by mail delivery software.
A message that you sent could not be delivered to one or more of its
recipients. This is a permanent error. The following address(es) failed:
[email protected]
local delivery failed
------ This is a copy of the message, including all the headers. ------
Return-path: <[email protected]>
Received: from quantz.debian.org ([206.12.19.122])
by pts.debian.net with esmtp (Exim 4.80)
(envelope-from <[email protected]>)
id 1VAHAv-00032T-Ua
for [email protected]; Fri, 16 Aug 2013 10:22:34 +0000
Received: from qa by quantz.debian.org with local (Exim 4.72)
(envelope-from <[email protected]>)
id 1VAHC5-0006YK-Dq
for [email protected]; Fri, 16 Aug 2013 10:23:45 +0000
Received: from wagner.debian.org ([217.196.43.132])
by quantz.debian.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16)
(Exim 4.72)
(envelope-from <[email protected]>)
id 1VAHC4-0006Xy-So
for [email protected]; Fri, 16 Aug 2013 10:23:45
+0000
Received: from vasks.debian.org ([217.196.43.140])
by wagner.debian.org with esmtp (Exim 4.80)
(envelope-from <[email protected]>)
id 1VAHBz-0000Lo-1j; Fri, 16 Aug 2013 10:23:42 +0000
Received: from hendrik-guest by vasks.debian.org with local (Exim 4.80)
(envelope-from <[email protected]>)
id 1VAHBs-0002gn-Pa; Fri, 16 Aug 2013 10:23:33 +0000
To: [email protected]
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Message-ID: <[email protected]>
Reply-To: [email protected]
X-Git-Repo: hol-light
X-Git-Refname: refs/heads/master
X-Git-Reftype: branch
X-Git-Oldrev: e00e75a99b93181b9fc62f89dba1685faab6088a
X-Git-Newrev: 90f4d63880c0aa832b38b98eb187a602329acfaa
Auto-Submitted: auto-generated
From: Hendrik Tews <[email protected]>
Date: Fri, 16 Aug 2013 10:23:33 +0000
X-SA-Exim-Connect-IP: 217.196.43.140
X-SA-Exim-Mail-From: [email protected]
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on wagner.debian.org
X-Spam-Level:
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD
autolearn=ham version=3.3.2
Subject: [hol-light] branch master updated (e00e75a -> 90f4d63)
X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000)
X-SA-Exim-Scanned: Yes (on wagner.debian.org)
Delivered-To: [email protected]
Sender: Debian QA <[email protected]>
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from e00e75a lintian canonical vcs
new 68b59a7 Imported Upstream version 20130811
new cc7ea96 Merge tag 'upstream/20130811'
new e9531a0 fix debian/changelog
new 366cb23 update patches
new 129252e update elc path in hol-light-source.exclude
new 90f4d63 update copyright
The 6 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:
100/independence.ml | 2 +-
CHANGES | 190 +
Examples/borsuk.ml | 4 +-
Help/MATCH_MP_TAC.doc | 2 +-
Help/TRANS.doc | 2 +-
Help/TRANS_TAC.doc | 57 +
Library/card.ml | 57 +-
Library/floor.ml | 54 +
Library/iter.ml | 5 +
Library/products.ml | 15 +
Multivariate/canal.ml | 72 +-
Multivariate/cauchy.ml | 711 ++-
Multivariate/complex_database.ml | 549 ++-
Multivariate/complexes.ml | 5 +
Multivariate/convex.ml | 1134 ++++-
Multivariate/cross.ml | 35 +-
Multivariate/derivatives.ml | 132 +-
Multivariate/determinants.ml | 691 ++-
Multivariate/dimension.ml | 636 ++-
Multivariate/flyspeck.ml | 708 ++-
Multivariate/geom.ml | 46 +
Multivariate/integration.ml | 2 +-
Multivariate/measure.ml | 65 +-
Multivariate/multivariate_database.ml | 435 +-
Multivariate/paths.ml | 3477 ++++++++++++--
Multivariate/polytope.ml | 441 +-
Multivariate/realanalysis.ml | 4768 +++++++++++++++++---
Multivariate/topology.ml | 2090 +++++++--
Multivariate/transcendentals.ml | 663 ++-
Multivariate/vectors.ml | 377 +-
RichterHilbertAxiomGeometry/HilbertAxiom_read.ml | 3603 +++++++++++++++
RichterHilbertAxiomGeometry/README | 50 +-
.../UniversalPropCartProd.ml | 116 +
RichterHilbertAxiomGeometry/error-checking.ml | 137 +
.../inverse_bug_puzzle_read.ml | 519 +++
.../{ => miz3}/FontHilbertAxiom.ml | 370 +-
.../{ => miz3}/HilbertAxiom.ml | 34 +-
RichterHilbertAxiomGeometry/{ => miz3}/Miz3Tips | 18 +-
RichterHilbertAxiomGeometry/miz3/README | 22 +
.../{ => miz3}/hol-light-fonts.el | 0
.../{ => miz3}/hol-light-fonts.elc | Bin 8617 -> 8617 bytes
RichterHilbertAxiomGeometry/{ => miz3}/make.ml | 2 +-
RichterHilbertAxiomGeometry/readable.ml | 555 +++
RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml | 38 +-
cart.ml | 26 +-
database.ml | 13 +
debian/changelog | 11 +-
debian/copyright | 2 +-
debian/hol-light-source.exclude | 2 +-
debian/patches/default-hollight-dir | 6 +-
debian/patches/holtest-no-proof-recording.patch | 2 +-
debian/patches/include-compiler-libs.patch | 15 -
debian/patches/series | 1 -
hol.ml | 2 +
holtest | 4 +-
int.ml | 16 +-
miz3/bin/miz3 | 2 +-
miz3/miz3.ml | 2 +-
real.ml | 13 +
sets.ml | 59 +-
tactics.ml | 17 +-
61 files changed, 20706 insertions(+), 2376 deletions(-)
create mode 100644 Help/TRANS_TAC.doc
create mode 100644 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml
create mode 100644 RichterHilbertAxiomGeometry/UniversalPropCartProd.ml
create mode 100644 RichterHilbertAxiomGeometry/error-checking.ml
create mode 100644 RichterHilbertAxiomGeometry/inverse_bug_puzzle_read.ml
rename RichterHilbertAxiomGeometry/{ => miz3}/FontHilbertAxiom.ml (93%)
rename RichterHilbertAxiomGeometry/{ => miz3}/HilbertAxiom.ml (99%)
rename RichterHilbertAxiomGeometry/{ => miz3}/Miz3Tips (96%)
create mode 100644 RichterHilbertAxiomGeometry/miz3/README
rename RichterHilbertAxiomGeometry/{ => miz3}/hol-light-fonts.el (100%)
rename RichterHilbertAxiomGeometry/{ => miz3}/hol-light-fonts.elc (100%)
rename RichterHilbertAxiomGeometry/{ => miz3}/make.ml (53%)
create mode 100644 RichterHilbertAxiomGeometry/readable.ml
delete mode 100644 debian/patches/include-compiler-libs.patch
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
--- End Message ---
