[Pkg-ocaml-maint-commits] [why] 16/21: XS-Testsuite no longer needed

Ralf Treinen treinen at moszumanska.debian.org
Tue Oct 4 19:16:35 UTC 2016


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

treinen pushed a commit to branch master
in repository why.

commit 8e3963120cb99cd6ec1c0831a42b806dd2e1774d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Oct 1 14:08:22 2016 +0200

    XS-Testsuite no longer needed
---
 debian/changelog | 5 +++--
 debian/control   | 1 -
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 04b01dc..6db23a7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,7 @@
 why (2.36-1) UNRELEASED; urgency=medium
 
   * New upstream release. This version compiles with coq 8.5
-    (Closes: #815684) and drops the gwhy binary (Closes: #440469)
+    and drops the gwhy binary (Closes: #440469).
     - refreshed patches bprintf and edge
     - dropped patch makefile as ocaml warning options are now set
       by configure
@@ -21,8 +21,9 @@ why (2.36-1) UNRELEASED; urgency=medium
     - remove d/why.manpages
   * remove d/why.links as upstream does not ship the why manpage any more.
   * remove d/README.docs which is obsolete.
+  * d/control: drop redundant XS-Testsuite
 
- -- Ralf Treinen <treinen at debian.org>  Sat, 01 Oct 2016 12:12:38 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sat, 01 Oct 2016 14:07:38 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index ce669e7..4a93dd6 100644
--- a/debian/control
+++ b/debian/control
@@ -22,7 +22,6 @@ Standards-Version: 3.9.5
 Homepage: http://why.lri.fr/
 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/why.git
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git
-XS-Testsuite: autopkgtest
 
 Package: why
 Architecture: any

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git



More information about the Pkg-ocaml-maint-commits mailing list