Back to eprover PTS page

Accepted eprover 2.6+ds-2 (source amd64) into unstable, unstable



-----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-----