Accepted proofgeneral 4.5-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted proofgeneral 4.5-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 17 Aug 2023 13:11:29 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: proofgeneral_4.5-1_source.changes
- Debian-source: proofgeneral
- Debian-suite: unstable
- Debian-version: 4.5-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=cFKLy+WqWA2rr6HYhQwSj52dV/33KfqSsxf2WkQXOnU=; b=DevsqMt6v/E9GFkgxyo+JodOfD JydslkqrbW8s80dGQQ1Dvn7pd208YHaks82ZQNqKKcGbF8bVx/569Rf6PRLTvVealkHXWy32GTb4u 3cc3rHxnQETH09qE9PhJQEudIrdaacripIXTdRlCccCgsbYj2qRO5Egb0xnI7PwwFNjuYTLvzXLF7 X4YF2Y5ELP4ozfTm1V9NXf0feirmIJH7cqjMT8BgNh/vJdhAH9WMhp5mxVUW3/z8miGZwKq8ZlbWF ZE4lNClVlIwzIlxRUQUKy8PLfIbyL1jo731vxH8Pp7zOeWGGIZs5VRb+hfbTBUlyfkWtLN8YLHBw+ wH0LNDnA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qWcmf-003fUg-Ht@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----