Your message dated Wed, 12 Dec 2012 20:48:46 +0000 with message-id <[email protected]> and subject line Bug#544790: fixed in ladr 0.0.200911a-1 has caused the Debian Bug report #544790, regarding ladr: watch file needs updating for recent uscan changes to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 544790: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=544790 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: ladr Version: 0.0.200806a-1 Tags: patch Hi, The watch file for ladr is unfortunately one of a small number that are no longer supported by uscan due to its use of Perl's /e regex modifier (see DSA1878-1 and the 2.10.54 devscripts package). The fix is very simple, as the updated uscan still supports the use of \L: opts="uversionmangle=s/Jan[^-]*/01/;s/Feb[^-]*/02/;s/Mar[^-]*/03/;s/Apr[^-]*/04/;s/May/05/;s/Jun[^-]*/06/;s/Jul[^-]*/07/;s/Aug[^-]*/08/;s/Sep[^-]*/09/;s/Oct[^-]*/10/;s/Nov[^-]*/11/;s/Dec[^-]*/12/;s/([0-9]{2})-([0-9]{4})([A-Z]?)/0.0.$2$1\L$3/;s/([0-9]{4})-([0-9]{2})([A-Z]?)/0.0.$1$2\L$3/" http://www.cs.unm.edu/~mccune/mace4/download/ LADR-(.*).tar.gz Regards, Adam
--- End Message ---
--- Begin Message ---Source: ladr Source-Version: 0.0.200911a-1 We believe that the bug you reported is fixed in the latest version of ladr, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Hideki Yamane <[email protected]> (supplier of updated ladr package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 13 Dec 2012 01:19:19 +0900 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200911a-1 Distribution: experimental Urgency: low Maintainer: Peter Collingbourne <[email protected]> Changed-By: Hideki Yamane <[email protected]> Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9 - theorem prover and countermodel generator Closes: 544790 Changes: ladr (0.0.200911a-1) experimental; urgency=low . * QA upload. * New upstream release * debian/watch - update to deal with obsolete Perl's regrex (Closes: #544790) Thanks to Adam D. Barratt <[email protected]> * debian/rules - convert to dh7 style - pass "all" to dh_auto_build * debian/patches: convert to use quilt and refresh * debian/source/format: specify "3.0 (quilt)" * debian/control - drop "Build-Depends: dpatch" - remove unnecessary "DM-Upload-Allowed: yes" line - use Multi-Arch - set "Standards-Version: 3.9.4" * debian/compat: set 7 * {libladr4,libladr-dev}.install - adjust install directroy - don't install *.la files - don't install *.so files in -dev package * debian/libladr4.symbols: update Checksums-Sha1: 8088befba7050c56fb94611c6d2afc844991b588 1938 ladr_0.0.200911a-1.dsc 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 1795750 ladr_0.0.200911a.orig.tar.gz 42daa243f9373b7fdf616da768ecf53e1446c30b 22657 ladr_0.0.200911a-1.debian.tar.gz 4d6b59b99218716598ea5bbe9a522027433a1f3d 385932 libladr-dev_0.0.200911a-1_amd64.deb 2e09f5b4fb6b367dab1cdc5041206a750ca4ae7c 225482 libladr4_0.0.200911a-1_amd64.deb 940be6c938501ebe6153a7e4bfb324d61086233f 123100 prover9_0.0.200911a-1_amd64.deb 2dd4d4f2fceade8469c7bd419d3bffb4bbdf0fdf 351570 ladr4-apps_0.0.200911a-1_amd64.deb Checksums-Sha256: f01925fbfd72007d616469cfce4970f9883ddb0090a699427e0673d6154c1842 1938 ladr_0.0.200911a-1.dsc c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 1795750 ladr_0.0.200911a.orig.tar.gz ceb29b69ffc14c8b0f5b95c71ea72bdbc95b6ced8f9bbeab2315d9533abf5e34 22657 ladr_0.0.200911a-1.debian.tar.gz 0e89bab1c7fe24ec03ac636f691009cda658ee97f9f960037bce0f08143b1433 385932 libladr-dev_0.0.200911a-1_amd64.deb f41605a7b28307f99957777c76a33679ea9aca079ab565759eb4ad7fc389d231 225482 libladr4_0.0.200911a-1_amd64.deb f78eb71329c3a220ff2f785325252bdef74c54257d3bad2d6399cdea289b3646 123100 prover9_0.0.200911a-1_amd64.deb 53fc0ab226f6d65e22e920a49779bb0a8263a4e2d02708b83aab7c6e53f67279 351570 ladr4-apps_0.0.200911a-1_amd64.deb Files: 16844d5107bfe5d2aa77aa8f4fde5a32 1938 math optional ladr_0.0.200911a-1.dsc ab409f31ecbb4410b1c7d75deadea2c6 1795750 math optional ladr_0.0.200911a.orig.tar.gz 8dcdc3c55ced776cdf4cbca9cf83bb82 22657 math optional ladr_0.0.200911a-1.debian.tar.gz 9397321b7a3d896c8fb73e6145a2cb56 385932 libdevel optional libladr-dev_0.0.200911a-1_amd64.deb 1093161a4c6b3cc7b6b36fba723805b8 225482 libs optional libladr4_0.0.200911a-1_amd64.deb 1d19aab58267e0460e4a3af7395ab7a6 123100 math optional prover9_0.0.200911a-1_amd64.deb 6ba00ec83a868560cf9b822fe6515206 351570 math optional ladr4-apps_0.0.200911a-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJQyNRLAAoJEF0yjQgqqrFA09oP/3WLJuMcOKE8/KM+kOwBFZm5 UZpb3KVxyyzt2eGjKdQrwT6T2DmF9rQldQ8nh/2IYuHe6zrVKUar/dbZLkhZbHZY rP4nKuOSClDm9LWSBd2S5IZBozHpqqKdxvwsFqWWStDOb6MLzl1x2LrtyCfXvCXT tffkWGT1TATMeYSJ5eQxBk07EzP9kBJVE2avG1hKyG9F0MGrfd0xcquwBhEUdiG6 k8ClfKWvrSI8u8MSSm0c/+ndSWrRh2rtUyh8F0qmPxsH3hpj4SQ0kbgJQpNwF2zb cn2VMUAc4P6rCQNqM7qb32Svc+z98aqP5Ufpp5w2lUSwOK8uN9dN1TqM/7RGjG6/ t5RovhbdcU+F7VE2nmx0QKcyo8Kl7AwUP1/Qhybhk3tTMT8UgAxbro2Ew/9B53JC HjbDwJSfQdOSEyrCUg0R82jf/uSrm3t+zINAq7IbOOhm/9jWU3fk5UGVtzepYTpd bNw0QR1blaf7TDoTR4CRnzXHv/Vl32IcNlo+nwBi+mRrNb9WXqPZN654oVCfnF8o 1cI+GPZxeGnXCOP0drquKR9d0C8/JFpgE2zm52nVGuHtULepimFf/H8Ew9oUyg8V q2o1fcPuklp3AYfmj3Nn10CTkDlq3PEMlSKBebg6Y2JgymmvVLkIPZDnlskEmXqo hy9Ad5alxh54nmKuxBpM =qNTw -----END PGP SIGNATURE-----
--- End Message ---
