Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: unblock
Please unblock package flextra
fix handling of the /usr/bin/flextra alternative (#767820)
Andreas
unblock flextra/5.0-2.1
(or 5.0-3 in case of a maintainer upload)
diff -Nru flextra-5.0/debian/changelog flextra-5.0/debian/changelog
--- flextra-5.0/debian/changelog 2014-10-24 21:50:22.000000000 +0200
+++ flextra-5.0/debian/changelog 2015-01-09 14:12:32.000000000 +0100
@@ -1,6 +1,13 @@
+flextra (5.0-2.1) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Fix handling of the flextra alternative. (Closes: #767820)
+
+ -- Andreas Beckmann <a...@debian.org> Fri, 09 Jan 2015 14:12:32 +0100
+
flextra (5.0-2) unstable; urgency=medium
- * Drop -mcmodel=medium; breaks non-64bit archs. Closes #766673.
+ * Drop -mcmodel=medium; breaks non-64bit archs. Closes: #766673.
-- Alastair McKinstry <mckins...@debian.org> Fri, 24 Oct 2014 13:35:56 +0100
diff -Nru flextra-5.0/debian/flextra.postinst flextra-5.0/debian/flextra.postinst
--- flextra-5.0/debian/flextra.postinst 2014-10-24 21:50:22.000000000 +0200
+++ flextra-5.0/debian/flextra.postinst 2015-01-09 14:07:00.000000000 +0100
@@ -8,7 +8,6 @@
configure|abort-remove|abort-deconfigure)
# Install alternatives
update-alternatives --install /usr/bin/flextra flextra /usr/bin/flextra.ecmwf 20
- update-alternatives --auto flextra
;;
abort-upgrade)
# Nothing to undo
diff -Nru flextra-5.0/debian/flextra.prerm flextra-5.0/debian/flextra.prerm
--- flextra-5.0/debian/flextra.prerm 2014-10-24 21:50:22.000000000 +0200
+++ flextra-5.0/debian/flextra.prerm 2015-01-09 14:07:20.000000000 +0100
@@ -4,7 +4,7 @@
#DEBHELPER#
if [ "$1" = remove ]; then
- update-alternatives --remove flextra-all /usr/bin/flextra
+ update-alternatives --remove flextra /usr/bin/flextra.ecmwf
fi
