Accepted eprover 2.6+ds-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted eprover 2.6+ds-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 11 Jul 2022 19:00:08 +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=I+q0AFKLu48+zCg3QqdJMx3rtVf6X0x1MQqiZw+T3jw=; b=mtz2ZjX999NBxikZyxBxcdwnEk ujan8qfNHcIeGc4VvJNHtbJjpUlzZogdDGoANlpFfx3QINCxevuPU8DQFaPChnD2WNuHazmfw1ebX uUqWp2dgQ8q1J2GEVYZ8uuO0btCkUgS7CkaiZiAC4kDbJeYQ4usJ7yTSHqKaQh2rt8ZKnYKP3DX0+ GBRLWMzo0yEKinEk4EGdIVCEY+iN1RvDYeMGvSSpdH3o+zAZ3SXjiWOo6QWI67/hvIqKwjJP7Bu+J 9I3ThH/jAOiwMMq+T8yDcHlZsBE1d2PJZNvrh/aIFiGW9vrznA8EwxPv/5UF3q9O+2w59iLvlDgtt wNfMppHw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oAydc-00078O-W6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 10 Jul 2022 23:07:35 +0200
Source: eprover
Binary: eprover eprover-dbgsym
Architecture: source amd64
Version: 2.6+ds-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
eprover - Equational theorem prover
Changes:
eprover (2.6+ds-2) unstable; urgency=medium
.
* Complete d/copyright.
Checksums-Sha1:
66323702ab2bc50ec81e5b2e9cbe74488993f52f 1916 eprover_2.6+ds-2.dsc
b25bdcd33ab85d42d2528924627282e5846f0756 1080164 eprover_2.6+ds.orig.tar.xz
0fcab74a10530638fd1a0cb3f1f08a396c232cc9 10092 eprover_2.6+ds-2.debian.tar.xz
f7ba297ef7e795c0c901ebecb017bf3c8f337438 113128 eprover-dbgsym_2.6+ds-2_amd64.deb
861175ddf7ce1da5cb2d942ccdd1848619ebad67 6355 eprover_2.6+ds-2_amd64.buildinfo
ee4a0e759813cadac337c1c9b120a8f57e369453 978024 eprover_2.6+ds-2_amd64.deb
Checksums-Sha256:
7ff713532044a5240f4a2e9c03be5f18c7a2f3280a2f06e080f0f38d818c6942 1916 eprover_2.6+ds-2.dsc
469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245 1080164 eprover_2.6+ds.orig.tar.xz
8e399f73cf53269bade421f7f25de0886ccc83e9c4735c01a741548eff73c205 10092 eprover_2.6+ds-2.debian.tar.xz
d07a7a250cbb6985f4d98b35b801672bfbb9a1b63b05aaa442bbeae7ec48ba5f 113128 eprover-dbgsym_2.6+ds-2_amd64.deb
498b809ea675d5f1859407189f56633ef83dba22dc75c1299c13f4d991f571ab 6355 eprover_2.6+ds-2_amd64.buildinfo
c6fc06c63c165c9f6aa4b9d1a169ba4513e95af50e23e80c2ec2d100aa4a9157 978024 eprover_2.6+ds-2_amd64.deb
Files:
d15476cefed1a8d34c55712982826e75 1916 math optional eprover_2.6+ds-2.dsc
a9479a59b6b3ed4f5209c5f3b0d46488 1080164 math optional eprover_2.6+ds.orig.tar.xz
27e5a983a0c0893b09370bcc17886913 10092 math optional eprover_2.6+ds-2.debian.tar.xz
9b2da8633b0d187d5e6d52b72c4f447e 113128 debug optional eprover-dbgsym_2.6+ds-2_amd64.deb
9913735c62458103be47e2ed0667b16d 6355 math optional eprover_2.6+ds-2_amd64.buildinfo
5163a9256915e814a676d19447eff424 978024 math optional eprover_2.6+ds-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLLP/0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZDwP/2kFgNQjhG19A3bpzjexGx1Q9hDRKn9c
nio0srlO3nEgjV+GovX3oAHlbTgXgWoLcc0YdaT2q3iR8FO/8dsgTHu/EZ877SgB
gWSv6AFPk9Mpz8AJMfw2GDclAc8G7/XYUSaC2PHjGWcJNNEKifzIhFp5ALjIZiSF
0LXkdSWpvxWtypXeymRKkNYr1WweRy2b8btZHqdTFdj9RqC/wZaXZOJCf7enWeGS
rxy9/gtmgrSj5u91draTYsU4JsWZPRgZFdevUj/Cos0KgxK8vLafx4aoPvqbM/3k
IK/jBYKQcRUWAKLlW6t1KSEjUf6KWni/OAefHo5abPhg4dzbDdkAOu9gkZuAxFYT
q+VsARf8pe4WGT7WTPwrUjnTr5CVtdCsEOBkNTmXsGcuAuWKe0TbkzOZFRg1jXCA
EdICDYKlY8JEUgVSzz1K7oJlJYuK7k+m3ck06EroOpN0l6c63F0W9LfOwFw/R//n
xHFtpZOMQ/KKkQ4m4eo7m0glLQyiSRbsd3LK23xiEDafTLtyIn7OvzcccoGrG0OI
u+JmAr9lWpNyB4W2trNGSx4C18UrbAcLQc9XywkYXdzAevVzcGQaFcdKpgQh8q79
o1IZBWtwMo8EBYyw5Le5nq9B63tlJhTXb8w5dSCJ7NntJmS1q8hRXHap075N3LU+
qBMuOOxPKj5H
=owGp
-----END PGP SIGNATURE-----