Accepted coq-gappa 1.5.2-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-gappa 1.5.2-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 20 Jul 2022 18:00:09 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=2eAaZlkrdaCFPQ8BFcfC7ERvVr5G1YIPzqMOykJLFoQ=; b=IkriMyoO/paphGg3ww3RDJe7ce vLJFaZLcuEFko3V2sHs+yVOJJH/hziJIRHdVaS9t6mTg5jNrP0jQJ7tfFzveLRjQaitKAfCIhZPhS 71UvsVTqwFa/yJFScEzU0WJJ5B4hOvTC87Orf9zSs+y5dHu87baIalmPzOAjKSY9W0Ga/kt4PH5KX Q5+jdELHyrWrNCmqt/QZGO9o9FtyXyB5Z3hriD0sFX5WiL4C7ahJUEuDMjy8aexxGN+6zCs09HHhQ hvP2P2zqFmTH3yZtCP5lYQ9bNFJwKeUjz30GljGV03rOsfk+gHw5cZ34DnrgZy6Mg/D2a6xftgoN7 FgL/p9/w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oEDzV-0009uE-Cj@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 19 Jul 2022 08:46:45 +0200
Source: coq-gappa
Binary: libcoq-gappa libcoq-gappa-dbgsym
Architecture: source amd64
Version: 1.5.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-gappa - Coq tactic to use Gappa for floating-point goals
Changes:
coq-gappa (1.5.2-2) unstable; urgency=medium
.
* Complete d/copyright.
Checksums-Sha1:
94a5717b109152d96033054613bb07c9364ca058 2066 coq-gappa_1.5.2-2.dsc
fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2
10fcb9109e0de27b8a579c96ec484346ad9fc558 1648 coq-gappa_1.5.2-2.debian.tar.xz
d98beb39624656d48c7a749fb2f4c950568309ec 7403 coq-gappa_1.5.2-2_amd64.buildinfo
0130ee57531587b3afffaf199562d7be537bfd22 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
531ad1da01a7b85530f946b3300c2a1b1a1b7948 516824 libcoq-gappa_1.5.2-2_amd64.deb
Checksums-Sha256:
949037d1fd9981ae1ed2a335422780191c87409d02d512b5603cf09bfa6f35f4 2066 coq-gappa_1.5.2-2.dsc
a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
a94abf6efadf78490e846ce1ba02d48c4a8e244c61f8bc3cbdfb20015f58e707 1648 coq-gappa_1.5.2-2.debian.tar.xz
0b1904b831ab81adc32939406097e6058b6cf598a7ef3c277fbec4a43c38e109 7403 coq-gappa_1.5.2-2_amd64.buildinfo
ac1b7b27c3421887961fd8d8f33ec46c838d9df706a9d32505b62f6ae4a81571 5800 libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
67c5424c6b02077582459022a08ba3a5c932c4b213571779f276aae0eae75ad2 516824 libcoq-gappa_1.5.2-2_amd64.deb
Files:
5e07b975da61e0ffe59736ac67ef1e3b 2066 math optional coq-gappa_1.5.2-2.dsc
826d7d56a103fc2c822f26e4db87e493 73542 math optional coq-gappa_1.5.2.orig.tar.bz2
0e6b7b9b105bea21c896cf4106a168b0 1648 math optional coq-gappa_1.5.2-2.debian.tar.xz
f8cc60257c0d3533cbe7b2fa99f09af4 7403 math optional coq-gappa_1.5.2-2_amd64.buildinfo
080b17fba38165b737b327d387176562 5800 debug optional libcoq-gappa-dbgsym_1.5.2-2_amd64.deb
7fa52c25ce596acc369fd0f6fa44c49b 516824 math optional libcoq-gappa_1.5.2-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVC0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRY+MQAI5ZFxLVxdwFRzWFNlZi8nYprDCFsz+c
vark718aNoYaE3yNpIoi8UZcI5mHMyYVZa3vATT8dcwjVStE2OW+ysXprmTTF7UI
KTQ3fEzI0HJUz012PBCs1xNlUsTmsApiVOW+uWhmtdTzPbejJw4FQrDpPd7rYj+r
p3VTL5jtIWE0HQ2Yq1GnFTEEevuK+yolP3rwaRmQT46DH4pBEnEuL1vFtcp8fkkp
fDti3wKVsvJ8HVXP38KNF4n+NMYkAoR4a0siULjhAvy4McH1w5OYQTAFKTCQ7Ac2
2d1fLYfB1TGyaDZcLhE8zj4EijzUiptil+wuH25YekpIg36224ATtJzjpH26hFpm
YrbYloghMHjjYo+guszt5WgNzu55G58hTcOBmv9SDIkDgyDMkCs7Dfni3XZwA7XM
rxlIZZwyAw/g1Yb4lYT4SfXBnoocPmrWD805HigNkXtjL/2BSY6+T06IDgwqXS4D
mKKji5BimVXE2nFmvQoRScxqL4HugyqcRDuSgyUyO3uNacPksKCJh/05qLF/iRCw
QzTC/urUK5ttAxmcFwfIMrOL93nIy/BtLDmPyZUT2Xgt3yKTqZUw/6+fUmQKhfCf
66NrrkCsIyAnS2gjqK7h/YD/ZdYVEBNw59MCsJRU2vWGcxuDCnuyUn9UB/8W6F69
YwMxRU6f8eF4
=Gzpy
-----END PGP SIGNATURE-----