Accepted gappa 1.4.0-2 (source all) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted gappa 1.4.0-2 (source all) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Jul 2022 15:00:10 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=JodS4NYNChLTvLsyGt5CCPWErHVt4m4xgvEJfwvfRJw=; b=Tdc1/XTcXEnG/MMt+tkhswJ3EW uyEaLNGsYoEM7YAUaxdp4u6WLqdSRqU+BYHhE8AQH/2V+K2omzTCuH7eWJiAbd82QmbwRDC6EnFsK CW3Qwfjp8WEgFYegdKaaNGW4YT9VVIwf69NZ2OqozNb8OTM8DVzaD/I02mgReueC8KhfVOiWaZNZC FZFrSbmoMceL6sGEu0QaN8IuZ5kLgDjQdn8mh5iz5CqhW6KHWHhnfmDtY5cGQ9HafSiKIjtG5eKAg KmEDUlHnJSzISWjGwGqUwHYCKT4O5Lgh3NbJsdJjOC4c19L9+RNyxpAiIYCvJvoMRv/+eEVb53jOV NZKO6pNw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9pSk-0000jD-EP@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----