-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jul 2026 06:50:23 +0200 Source: coq-reduction-effects Binary: libcoq-reduction-effects Architecture: source amd64 Version: 0.1.6-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-reduction-effects - reduction effects for Coq Changes: coq-reduction-effects (0.1.6-3) experimental; urgency=medium . * Rewrite d/watch * Bump standards-version to 4.7.4 * Add patch for Coq/Rocq 9.2. Checksums-Sha1: 6120598562a9880cc5cfc76a1a51c4545d8e6532 2223 coq-reduction-effects_0.1.6-3.dsc f6e76db5125cb342e98e4ee5aee71a6bea6c8b50 2324 coq-reduction-effects_0.1.6-3.debian.tar.xz c1d8f7e0e0c520a4125dfbc208e03427000a0327 7509 coq-reduction-effects_0.1.6-3_amd64.buildinfo 31d5a2a3ddead0df2fd407ed26ecf96c151b0a93 15888 libcoq-reduction-effects_0.1.6-3_amd64.deb Checksums-Sha256: 8c3f8ff581692fcb63dbd905bd8640ccf533d64932182ec8346338479e1f2d47 2223 coq-reduction-effects_0.1.6-3.dsc 1c90fc43d025d04fd8dc496664e84398e7bedc45457cb530bef6b294eedd53db 2324 coq-reduction-effects_0.1.6-3.debian.tar.xz 0eb22f07655fe1df38643522d6a2b28e163cc1090fa91eef4530aab9657832e6 7509 coq-reduction-effects_0.1.6-3_amd64.buildinfo 7a2ae2ecaccddac7f653b8738a2ae8fb19e423e15ddf0febaa1b2a5334734810 15888 libcoq-reduction-effects_0.1.6-3_amd64.deb Files: 3dfd89849d8f037ef850b0255126a1b8 2223 ocaml optional coq-reduction-effects_0.1.6-3.dsc ca433601ad243f80636ae0d0bee54aef 2324 ocaml optional coq-reduction-effects_0.1.6-3.debian.tar.xz db0c63d1ebcba607fba047d8e7528d77 7509 ocaml optional coq-reduction-effects_0.1.6-3_amd64.buildinfo 3730313fc25d512751417934db438a2f 15888 ocaml optional libcoq-reduction-effects_0.1.6-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRzJEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfSjD/9qn/s6mJVn6qwK/L4NTJ03 ZAvgR/JAgThnCDxRaQJIdEpyCvVFK+6M02gnp2Hj0T4R+iTyyaCet4DYVcJd63zV UTAyFNLDHgnwe7NvExGEKxAWSc+nkeHGt0huPvidAwbKHhNx5SXLExyoLppfA83F 7xjHuE1T5g9h8Zy9/81k1BziS1+2Yjq4cpJV1QH57nHTLL1uqDe5bV8eBnl6KbNQ 21yf3ZQjLXVkSoaQwUD8hHi0dqNIbm+qZcQbSP5ggkjRB2ItMr9dcEKyhO76dTzu 2ewmrAg0yhhCM5xXBr+Kgy8/9uN4fjWyZXNeuXtebb3cyLmBoGTTVJTzzUSxXPY1 mHCtT4Ma6wX4bBvxDgKT+Uv5kckrmDu1ZdBrNnKEvHu0XwsXlorHZxveRaEsvGR/ 3RZqVCYPAIhaYeFu0hkDuh4juuG+QAeyBI/xhMgEMjpoAClvO7rMbHldYgNb6Q7B UFZdZcBiVftU9a0/P2jnZDj6MqVR4QRFaXU47wHu8J4GPa78ZaQqbv+pM6BkpUfb fNP4fBV8BvaYbLUpnK5n01TdPUcJPVAuei0MVS7KHqbpbfa4UQ6aeGXfvC8IvITi s9HpbV2Rpzu+jNDB5lqWQkLT4tQG48506bE6dWg/Tcdoa6+OIch+zc8t+EW1nO9w kau2aSpKCfVBgzeXi5XLHQ== =SzFO -----END PGP SIGNATURE-----
pgpcHnuJo5XYY.pgp
Description: PGP signature
