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