[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
