[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