This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 0ecba0855ecad18b0d2ad2bb35f335821650dfd7
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Oct 4 20:28:40 2016 +0200

    no more filtering of tarball
---
 debian/changelog      | 27 +++++++++++++++------------
 debian/gbp.conf       |  6 +-----
 debian/purify_tarball | 30 ------------------------------
 3 files changed, 16 insertions(+), 47 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 85fe0e7..22a7a37 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,12 +6,6 @@ why (2.36-1) UNRELEASED; urgency=medium
     - dropped patch makefile as ocaml warning options are now set
       by configure
     - dropped patch atp-versions which is now obsolete
-  * Dropped build-dependency on libfloat-coq (closes: #815684)
-  * debian/watch:
-    - format version 4
-    - get link to newest version from the krakatoa home page (instead of
-      trying to read the download/ directory).
-  * Bump build-dependency on frama-c to magnesium.
   * Due to disappearance of the why binary:
     - drop why-cpulimit manpage since this binary is no longer build:
       (files d/why-cpulimit.1 and d/why.manpages)
@@ -19,16 +13,25 @@ why (2.36-1) UNRELEASED; urgency=medium
     - add build-dependency on why3
     - package why: add dependency on why3
     - package why: remove Recommends of SMT solvers
+    - remove tests why+{alt-ergo,coq,cvc3}
+  * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream:
+    - remove d/purify-source
+    - drop filter from d/gbp.conf
+  * Due to disappearance of examples from upstream: don't build binary
+    package why-examples
+  * Dropped build-dependency on libfloat-coq (closes: #815684)
+  * debian/watch:
+    - format version 4
+    - get link to newest version from the krakatoa home page (instead of
+      trying to read the download/ directory).
+  * Bump build-dependency on frama-c to magnesium.
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
-  * drop package why-examples as upstream has moved his examples to why3 
-  * remove d/README.docs which is obsolete.
-  * d/tests:
-    - remove redundant XS-Testsuite field from d/control
-    - remove tests why+{alt-ergo,coq,cvc3} as the binary why is dropped 
+  * remove d/README.source which is obsolete.
+  * d/control remove redundant XS-Testsuite field
 
- -- Ralf Treinen <trei...@debian.org>  Sat, 01 Oct 2016 14:11:19 +0200
+ -- Ralf Treinen <trei...@debian.org>  Tue, 04 Oct 2016 20:27:42 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 4435dcb..6b8b6b9 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,7 +1,3 @@
+
 [DEFAULT]
 pristine-tar = True
-filter-pristine-tar = True
-filter = [
-    "doc/manual.ps",
-    "ocamlgraph"
-    ]
diff --git a/debian/purify_tarball b/debian/purify_tarball
deleted file mode 100755
index af10bdb..0000000
--- a/debian/purify_tarball
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/sh
-
-set -e
-
-ORIG=$1
-CURDIR=`pwd`
-WORKDIR=`dirname $ORIG`
-ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^why-\([0-9\.]\+\)\.tar\.gz$/\1/"`
-
-cd $WORKDIR
-
-safe_remove ()
-{
-  rm -rf $1 || echo $1 not found
-}
-
-if test -d why-$VERSION; then
-  echo "Directory why-$VERSION exists"
-  exit 1
-fi
-
-tar xzf $ORIGFILE
-
-safe_remove why-$VERSION/doc/manual.ps
-
-tar czf why_$VERSION.dfsg.orig.tar.gz why-$VERSION/
-rm -rf why-$VERSION
-
-cd $CURDIR

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/why.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

Reply via email to