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