-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jan 2024 06:33:39 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.7.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hierarchy-builder (1.7.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 8aac30f775042e4d64a95aa6ee13e493492115ac 2151 coq-hierarchy-builder_1.7.0-1.dsc 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz f8cad8a6fd9e480f54436dce285c13b84b44ffd1 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz 2acc5e6e4965def8538536983acd57b2f2cfda2a 8920 coq-hierarchy-builder_1.7.0-1_source.buildinfo Checksums-Sha256: e3ede31390305611739e3809a08d91c73b3269e0ff515c3fc8925fdb6913c3bf 2151 coq-hierarchy-builder_1.7.0-1.dsc c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz 67c6d596af8e7b0623b84450bc5bc09e7492e63bbbc407029c2b67f56d340757 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz 79a1a01cbcf5765ef79bafbe9da6b3fd380008615a0823925b650f1181877429 8920 coq-hierarchy-builder_1.7.0-1_source.buildinfo Files: c6a5f375b12d77abdf42b97498acf087 2151 ocaml optional coq-hierarchy-builder_1.7.0-1.dsc ce0cc24816a0ce0ceb05cf819084b34e 206720 ocaml optional coq-hierarchy-builder_1.7.0.orig.tar.gz 9959daf08e496cd5b6d8478514eed487 2764 ocaml optional coq-hierarchy-builder_1.7.0-1.debian.tar.xz 58dce5434b85fadbb94c2c2df01d4d12 8920 ocaml optional coq-hierarchy-builder_1.7.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0+cSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIJ8P/jNrLh8sqafjo7cu1ZgcEabfsJR5PscJ d8TordEGQGVWBNe1WLjh7ZeL06EPpLffEEveKFMLJEKUYWyDqp0sKbU2rKAIpUXt MQc/elR/m9atL+5ABXV0AjUKvUa2aAnjofBG0C26Njq7MXu4SHc29eRVUxHGI1uJ 9b+LRmyDOeJtwfRF8gp41mlfeDo2VioYs62kSP3148xVfjZzll8mADXg1r8/ksgC MhHmtlRJT7lN5vpJRgLF6h4/rvN7bu3v2GIszBMGD44Ek1qWUegcAQTKX8SCTJZL EN1jwp+o9EUUQdDTzlgGrv/Wh4L3RBxRsfK73DMVy62TYpeH4EytNQbNnYh6DDwD 3TVNXKPpWw3/41bnm0axPrrTpVIV+ez4kNm3glybhCXVFhhqm/7wlYCnCwnJRZ8t 3QJU6LVcbxmY+paul0oZPolb5lIVhc4wOD9LECj+T8TDiuIUdj6WlNR1ygcinS9V yZA1ROogAWQ8oBvdrtMj3seOirdowS6SSR+yjUilY52EWeOxM+ZECavog7RXpVlw QNQaQfVJDzkDRm1n1m9Uzf6rgG6yBWM4k9K7uEckTdSk9jOiHuWkN40WKc9P1fTp 4Thc8EE9rHnYgpTLGQQHFXL92UQWtv4/CnSJtEYYnObv4Cf1Gk+2HLqvbv6yzDaz rnfz2eIDtfYV =I/lN -----END PGP SIGNATURE-----
