Accepted coq-hott 8.15-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hott 8.15-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 16 Jul 2022 10:48:54 +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=iovcWBLo0OmIGScs4+XLXMjmhDGdLsB9q89qbs5gBe4=; b=lXHtk+5PyExLX6Tli3e5cE7tEe 8dE7eIDvw1i7hqYterfeMFKvvJZ5a2a+ZCp6hgx6GMXQ4mYZLdoQqB0ph5senoP07hF/IZWNyyGgE Ex1h3z0y88h7G3cBjnw2YWqVhh9XpkPCATSTPJ3Esvi0LlN0PR4XruTyYbjs8ObUhqKEjevc191Vo SpuVFjAEG4MJefJy6+yO1jVax/RjwoSyllk7Ztds2tVHxnFXHV1fMjwZQZcUco3iopqyjG05irbIk L5fFulKExyhjI8Z45dNnRMu7ukeiXOGQdvm4Ik73vqUdVDKroS9TGx9b8lrVEkdmHJG//kj0TO8iG ADjJIz9w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oCfLy-00073P-8o@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Jul 2022 12:31:37 +0200
Source: coq-hott
Architecture: source
Version: 8.15-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hott (8.15-3) unstable; urgency=medium
.
* Simplify autopkgtest.
Checksums-Sha1:
4f394042f75c960864d3ff874a2f6432aa0c64b1 2024 coq-hott_8.15-3.dsc
fa42950e2d1ca8fff62b253ff35a4d286c0b9c47 2472 coq-hott_8.15-3.debian.tar.xz
886b73b174ce9edd9be1b4ae968bf998a4054a97 6804 coq-hott_8.15-3_source.buildinfo
Checksums-Sha256:
fbe0a172548b669887a31dacb26db930eebb2b8158b5eb7e508cd2c3abeabbd2 2024 coq-hott_8.15-3.dsc
2ba4fe6b644a31b18ef487a0d2c12697a369056439310364c086f8a798b801a2 2472 coq-hott_8.15-3.debian.tar.xz
61142103f3be4fc62616d1059529b1d7860b40daa4a90a399cb3e59cd6cbab58 6804 coq-hott_8.15-3_source.buildinfo
Files:
6b0f3eeba131a14dba418fe22e122f7b 2024 ocaml optional coq-hott_8.15-3.dsc
980147289dd36bd1a367884a022505e9 2472 ocaml optional coq-hott_8.15-3.debian.tar.xz
0a154cda2ae299cb4de6c3cc6e7fced8 6804 ocaml optional coq-hott_8.15-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSk68SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsToP/izW1X4mcqrdNi+z04msNnmqJSuKdlxV
sFiDjumL3QqcyWuSCVoacoQtet+QTEIKwDYKp4f3kcjhXj6GfI0+KdPckeMDTe97
4h6ArmZcw0qbVzpfQkHmT4QmfD20g3Ye+W+yuEltRGmadouTOl1c23pIPoudpTFW
3GBmM5hSUIfxxhg9xzn7yLT9xZbJRBQYCewbglGJkVXCSFfftR6h34TgA55dLD2U
izCKyNzeMXVwxeVMbd6CgRUDpc8NKIO8TxLeO6cyjAFs3DXquwuBZBZy4OHxocEB
V4u915ZClB9hT4jy+nlGEBQDLHUNNpGqRtyCLM//Zv0P+GMADVJFUFq5To6tfN99
ZwBszCaQ2Nxej7tiHUSVzeOVnhOB+TUdMk42EJC2tbP856+rNWGewIXyyi+RLaBv
DqI4ww3RhzAginZt0R51CGdsrYQqf8I+SfOD8JqMqGBV9ZHBZZqNu8N3f72rIqtK
0o3CJxVtzcwEKUqhRPN1WbBbJN1zGKgM5yLmH2nFbWcPUVWkcGT02kvqrVYVifZl
3DErtZLWLMYYRodW9iE20glSwLxyAy6GJ5vWc98qKkcfVlAVcK6xcdxcOJITU0Zi
U2vdUmfVeXVgxdWMk0km3K2k5Z8cBWCCv2xiH2IBcXhbse4b0S5QEAvbZtzoqhJF
/tZXfLkdyrf4
=9cZA
-----END PGP SIGNATURE-----