-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 17 Aug 2023 14:37:53 +0200 Source: proofgeneral Architecture: source Version: 4.5-1 Distribution: unstable Urgency: medium Maintainer: Debian Math Team <team+math@tracker.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 917461 951567 1016815 1030375 Changes: proofgeneral (4.5-1) unstable; urgency=medium . * Fix d/watch. * Change maintainer&uploaders. * Switch from debhelper to debhelper-compat. * Bump standards-version to 4.6.2. * Don't depend on emacs-gtk (Closes: #951567). * Package new upstream release (Closes: #1030375, #917461, #1016815). * Declare d/rules doesn't require root. * Refresh patches. * Add a manpage for coqtags. Checksums-Sha1: 9302a729425936afb82dfc9a360cd55d1ff40239 2000 proofgeneral_4.5-1.dsc 8dc48a09217b386747815289590ca9c7c602ff92 1198535 proofgeneral_4.5.orig.tar.gz 9686bae602eeb3b4d146ae249e7831cc6b5aadf7 17188 proofgeneral_4.5-1.debian.tar.xz 9f2951ca4311713b92fb205c73e5673841f04133 13470 proofgeneral_4.5-1_source.buildinfo Checksums-Sha256: 4651b53639ce9c1a02ea50468d9bc4467e51e5aaf4c3fd74c5b695cb118dd781 2000 proofgeneral_4.5-1.dsc b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz 4a83de48314f2892c6c9e9b9b45b8ef79fcd41a06cf737fe5e8736d72d39c182 17188 proofgeneral_4.5-1.debian.tar.xz 3cadedad3a3635b706363c7cb7bc4dd55baa4ba5ee7ff1f17a224c7ccf69393f 13470 proofgeneral_4.5-1_source.buildinfo Files: dabeff72523dc0309a19cecd51e28867 2000 editors optional proofgeneral_4.5-1.dsc 7fc03264e924f8020e717cc4cff67197 1198535 editors optional proofgeneral_4.5.orig.tar.gz 714d5a5165863f4996d0a4234bc182f9 17188 editors optional proofgeneral_4.5-1.debian.tar.xz 74fe42f5c884f8c330753d0b1dbe32bb 13470 editors optional proofgeneral_4.5-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTeFNESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRxvsP/iKDaGllF5RYM/jYjXIiEMyOEbotsXN/ 29qvfsKAIBX7eTXMy1ZcxaY5bsJRpCJyhULQUitNk0gbqw+1khd7XCs2NiAZtJVz QxVYlkiBNZ3YFhCNetd7KVzagpwAQtTucVnoIMPTWqx8rHUulRQuHdCGwh+7p2mv V3xEQntIzeoR0MsTxpIM8zSbdNnM/81d8jd9oIi81eMphZuoMLG2KqeSPmQivnNx AAIrieTX6g8keSd+bQwXxCjeTSjJrLuRzR6LRSqMcZ6fImkrDNPHs0fYznWp/ZQO zkkHYR5CscRvDnzoUMNXk2vq6CXBlRMoeagsfAVxrMmAXrTWKnLnQoEHCQXeYH7z voiPqHj4osGtrdt7GiirWlVIZTyHxuxehamPYQyA0rIpf5cKyOJKWKPoCpItmADg BjpM5VSjjJJLhG4j48urfRsBaHzD+UbU3Mf1Zf9AGZyTG2N5rNisUFyZ3dI6R/o8 0OWVpWBfo9E0nwuV99HhF5KAZ5hPPLWLXV5pgHeiCZ05XUJzaL2uCYIit8mryM7T S2IRnRTm2I9a0lRVbOoxKBIbOqqwaNHUqjZWcWezJQIwptsKf/2PfltIXPeZDRxd JlLDz35HK3IaebRXmBEdzyiQn4EzfIqpN9eOIOASu5gyTxLLhQyMN2aMkjbmukOa cGkgRDa/uESi =G4Q5 -----END PGP SIGNATURE-----
