Accepted ladr 0.0.200911a-1 (source amd64)
-----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-----