-----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 <peter@pcc.me.uk> Changed-By: Hideki Yamane <henrich@debian.org> 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 <adam@adam-barratt.org.uk> * 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-----
