Back to proofgeneral PTS page

Accepted proofgeneral 4.5-1 (source) into unstable



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