Accepted gappa 1.4.0-2 (source all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Jul 2022 08:23:07 +0200
Source: gappa
Binary: gappa
Architecture: source all
Version: 1.4.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
gappa - Automatic generation of proofs of arithmetic properties
Changes:
gappa (1.4.0-2) unstable; urgency=medium
.
* Complete d/copyright.
Checksums-Sha1:
e4bbb6ffee560a233245076b164d41bfeb3a2157 1973 gappa_1.4.0-2.dsc
5de8851efe9bf778dd8c465494ec40fe0a2daeaa 297720 gappa_1.4.0.orig.tar.bz2
b2979e0e7340a20fae838adab3c515d05602cba9 8804 gappa_1.4.0-2.debian.tar.xz
e507047f53b95babda4cc74afc6c8f81e51b77b7 3601500 gappa_1.4.0-2_all.deb
0b2f3e34a47ae979532d7ec182f021812102630a 7892 gappa_1.4.0-2_amd64.buildinfo
Checksums-Sha256:
19d321c1507b5b497d050a8560d8bba92cc93cf39b949ad2a0d46735ad89004d 1973 gappa_1.4.0-2.dsc
67410300041a57956433d2c1d069af048e0856a9fa43f25b29b9d005b0427b03 297720 gappa_1.4.0.orig.tar.bz2
fa2177085891c1a135115192a44790d14a65c791818e4252682912d64c51b53d 8804 gappa_1.4.0-2.debian.tar.xz
2594a6c5fabe1049fe760d46f73cfb4f7d0b555aab1706b7c9feb02820762d0b 3601500 gappa_1.4.0-2_all.deb
b718732c5c93837783085ccfc314af575138880582d50c8b3550cd46bbb88a52 7892 gappa_1.4.0-2_amd64.buildinfo
Files:
af64932100bb65e7d2e1ee3ed6ef0dc8 1973 math optional gappa_1.4.0-2.dsc
2ce0f8b302ded1ba1ff9a86b22d2d709 297720 math optional gappa_1.4.0.orig.tar.bz2
ccac0becb65b541345ff022192a15263 8804 math optional gappa_1.4.0-2.debian.tar.xz
e90bbd8d0b386c00914d17644279b680 3601500 math optional gappa_1.4.0-2_all.deb
bbdeadedc42e307227a4cfeaf59ba3e1 7892 math optional gappa_1.4.0-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHznwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkH0P/iJKuyT5Q7nJVuulDczdWqf//ELBNExS
TE/augTjGiFvVX+5hHKqsXby3AyzGT1ZaICOXDN5+b95YZ4j0bGI989DpPn98x2F
VwUdxCfLlHBqBipqIKe/+fUK8xp0Ki9o4j1VKoXZ5nXHWysH8LO3AxaJ2Ou81D0g
6lSHLa64VeB9qTXDkRbOvNgY3BBlmUYws9Fu0CJMPf0pQF0ryB49zpQBkPBYw98I
WFQIpGRTA5lFYdhxE9iGSoEnfN7rq0TcRqqGSI6zbTaQas2E1oqNCbGQfgAP1JuS
NttoM5riWfMD38JSfa3AXOF26BrEt4tG3xUirP+bcODGuQzBaAF1vRHJBNHllEux
780srvDx7rUx1O4Y80FPQL2J7eQryzYEavv+sj9SgpJoAQjvQbZes+6lmICJ6svq
jWWnTMpm0PipZm0C/C++qqpbEths/V3TM9GeZe4G6CpClnQ9QSecC1Z6kRfjoMU7
odeDAhIuUjDBC6b1PlTqi/ig2GT6jfBZFUEB6M5UYlspvKFoTqwRyzOtkwsrbxsE
Cp947NN1HddsPFCgtvbzKXIUqpdcG1hNLB5g2WB+Kp6XhXWRYOHhhmhboRI0NEcp
qiHaqds5OGHq2CbQeyqBVk3XnPTxBKIlFkE1eYhLIB8LPVJ3pmwMc+rVVrj9I//w
Hw+40ppccs3E
=4UjL
-----END PGP SIGNATURE-----
Reply to: