-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:31:40 +0100 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.6-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-record-update - automatic record fields updaters for Coq Changes: coq-record-update (0.3.6-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 8fdac25165fe7f5538a37e24d3c89bd35e399403 2167 coq-record-update_0.3.6-2.dsc fa2b44eed0fd47962dbd911045787694fd72013c 2304 coq-record-update_0.3.6-2.debian.tar.xz fcd11e09e115c1fba23d541c94b3fa50bb7d1abb 6855 coq-record-update_0.3.6-2_amd64.buildinfo 55e8e70edefc44793485881098298b51eac6251a 19112 libcoq-record-update_0.3.6-2_amd64.deb Checksums-Sha256: 126c70569266e334d11d9df12e6772a1f9c836cc29c4a80c398bc520144527d0 2167 coq-record-update_0.3.6-2.dsc 601186e8b37c3e55c11fd3f27fa3186b220e44c648a4da42d58739a96736b1bd 2304 coq-record-update_0.3.6-2.debian.tar.xz ad192c9ae644d2d3c9910e987ecded0bc5b196e21bded96218d69eb6b277e92d 6855 coq-record-update_0.3.6-2_amd64.buildinfo e8c50c64e41801e6f780549a78f07e866a90debb2a7a5e7def2e99a22f026eff 19112 libcoq-record-update_0.3.6-2_amd64.deb Files: f9b51d35777074210d64707220689738 2167 ocaml optional coq-record-update_0.3.6-2.dsc e592e3e4f07f36fe7e2145dc7e6203a0 2304 ocaml optional coq-record-update_0.3.6-2.debian.tar.xz 93dfc50026d596a680def941bc03618f 6855 ocaml optional coq-record-update_0.3.6-2_amd64.buildinfo 9c008005d677123cf3a4e5fcf171604f 19112 ocaml optional libcoq-record-update_0.3.6-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTc6MZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXWGD/41BqLI1ISnJNXgKu/q+ri/ YVPzqo+86srwbr777PNCG35/JKm6OOnYMUQt7/ZNwcwu+/dV7uiqa3G0TFIF6BoW gIfehLnjbnLgv0yzG0/gNzmpLT3dgvaiZl4OHgbWkgDbPIXAkbDZJqEcIxFz6dta QBXg3N4PCCuBp6feZoEXtLMNyVACiKvbvmKX69wxrsTi5d8hl4A5SUkfPtjQYOdh 1FupnHciLHZ8SNy5e95//QvnY3bKcCtimy6N4rlspcCDc5lxSDjzRj4ULfw5CemK 8uuLgTvlnlDVaC00w26780DP5ynY2SUdByB+Q8sIQo5PUluhgC2Pz0UL5fzKjf1O KyTiTo1W7bErDCDY4KVhfNJWcoXYsyhOQ/8k8d0VmwPgDsUL/grC9Z8WLUEeeCtv KOvwF0Rk4wKO79qizF0R4Rw4drP0cUkyk41ww9dQAt7l12/LlTcWQeDXEbRKj1U3 SR5KrkRXM2HNg3OkVewqw2+ds+88vctwTykv9bJncb0W4bxoDCna7SQcpydOIa0+ 1d/CeTvaJ/+K7WCeEDKa58s7vtATAAxit94UC3Wec3iowJ2EFlrB+DXFOOVae+Zt LAiUIM7EIwKK7ABfCRIn5ME9osS1aNQpa7P5HMWOf2cq7O1YKL71lhitYwWaoP9q GkIp9MeRrg7gFqAY8MXUsA== =NCVY -----END PGP SIGNATURE-----
