Control: tags 965441 + patch
Control: tags 965441 + pending
Control: tags 999261 + patch
Control: tags 999261 + pending
Dear maintainer,
I've prepared an NMU for boolector (versioned as 1.5.118.6b56be4.121013-1.1)
and uploaded it to DELAYED/7. Please feel free to tell me if I should
cancel it.
cu
Adrian
diff -Nru boolector-1.5.118.6b56be4.121013/debian/changelog boolector-1.5.118.6b56be4.121013/debian/changelog
--- boolector-1.5.118.6b56be4.121013/debian/changelog 2012-10-16 15:01:55.000000000 +0300
+++ boolector-1.5.118.6b56be4.121013/debian/changelog 2021-12-27 21:53:28.000000000 +0200
@@ -1,3 +1,11 @@
+boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low
+
+ * Non-maintainer upload.
+ * debian/compat: 5 -> 7. (Closes: #965441)
+ * debian/rules: Add build-{arch,indep}. (Closes: #999261)
+
+ -- Adrian Bunk <[email protected]> Mon, 27 Dec 2021 21:53:28 +0200
+
boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low
* New upstream release
diff -Nru boolector-1.5.118.6b56be4.121013/debian/compat boolector-1.5.118.6b56be4.121013/debian/compat
--- boolector-1.5.118.6b56be4.121013/debian/compat 2010-02-05 13:49:51.000000000 +0200
+++ boolector-1.5.118.6b56be4.121013/debian/compat 2021-12-27 21:53:28.000000000 +0200
@@ -1 +1 @@
-5
+7
diff -Nru boolector-1.5.118.6b56be4.121013/debian/rules boolector-1.5.118.6b56be4.121013/debian/rules
--- boolector-1.5.118.6b56be4.121013/debian/rules 2012-10-16 17:22:56.000000000 +0300
+++ boolector-1.5.118.6b56be4.121013/debian/rules 2021-12-27 21:53:28.000000000 +0200
@@ -94,5 +94,7 @@
dh_md5sums
dh_builddeb
+build-arch: build
+build-indep: build
binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install
+.PHONY: build build-arch build-indep clean binary-indep binary-arch binary install
