-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 17 Sep 2024 07:44:44 +0200 Source: proofgeneral Architecture: source Version: 4.5-2 Distribution: unstable Urgency: medium Maintainer: Debian Math Team <team+math@tracker.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1077116 Changes: proofgeneral (4.5-2) unstable; urgency=medium . * Add missing Vcs-* fields in d/control. * Add missing debian/upstream/metadata. * Preparing for upload (Closes: #1077116). Checksums-Sha1: 1d2877319983bd54e304148c2236b519e210b654 2122 proofgeneral_4.5-2.dsc 6430e9a25e3702d2e41fa8fe4da3cd02f20714ad 17372 proofgeneral_4.5-2.debian.tar.xz c59cb398cfbda206d9aa42773547731d257bc97c 12890 proofgeneral_4.5-2_source.buildinfo Checksums-Sha256: 22df7d71d8f3a9283dab6aae53c4ba6e0199ec4508149d53cac631b72fb0cdca 2122 proofgeneral_4.5-2.dsc d58f44f1960e5fa8a681fe19c4e8fd92bcc471c797e513b87b8d6559c62191ea 17372 proofgeneral_4.5-2.debian.tar.xz 82b77d4d485ae3742f3ce002fb46525d2108e6e331f1a1c5d2ceeb24ea8b28ae 12890 proofgeneral_4.5-2_source.buildinfo Files: f265914f9007590f28d2b7aa29537383 2122 editors optional proofgeneral_4.5-2.dsc 558481addd2c4efaa967bb456d6af6dd 17372 editors optional proofgeneral_4.5-2.debian.tar.xz c68e8521c0759114e45b4d90e95fb275 12890 editors optional proofgeneral_4.5-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbpF2kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRm+MP/RjdltUBv73aqeoacAvT7OmWTIUt7lKg AykC3Z2rciNqJsoz2aL5O2qdmbSbasfAhsAvcRQ3/72E0eKSLqrMpWCsqJOveeuW JuoOBmCsJhvqtyLuiyQRfIk4GkdTum/Gd749VeQRduH+tAqvxrioc/24/ONyhRGq ttjR7LnW63max2ofOYKdYl0R39ySJ1dt41WA2YLCAyP+1nNocp2rk3moYJLruN1q m46Nsf/ukPJDJiGbk3zCCWg3qYuYBNTQNEzhWTB1GQoWCA+TyYX1sNEX0W8EENIH v+vfZSsSUMgu7iJr1wDgDvcBDRBLaCCE77l2A3NbKkANi01TisY/0OsLYosQrCqI gTG0rF0yAtB25yRpPNNaA9T47vt2QUevlESRjsIEDgzbyuOVIXG5768o2ONvjkob Q1WIKIqnTd32F1cRlkfBATdT7y7vZNp17f3STM3vn19IqP5pKPpfT7G087nVhAXQ cFVRZo6EZOeTLeEPZ9S+XY3ohtmrjnwkVZ6+TtUi6zzQ8U62dULupBhoEbYeYYBG +f+lJ5VnPXPOIGDoCKq3oNgvudxlPUb/aNCC3YKRNdbFD9bBx/XnTj1vD5ljVjCj nsqku5LuLSA5CI/m617QAKW8e1CPo6Oaty1LKwShKsTf5W+HKnLClFQLj9964Py+ l03GR/pgFQ9l =Sejr -----END PGP SIGNATURE-----
