coq-hott_8.15-3_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: