-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:59:49 +0100 Source: mathcomp-multinomials Architecture: source Version: 2.2.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-multinomials (2.2.0-4) unstable; urgency=medium . * Bump standards-version to 4.7.0. * Add patch to compile with newer coq-elpi. Checksums-Sha1: 60a4ca88a64b265ed33b539aab81394eb6ae441a 2297 mathcomp-multinomials_2.2.0-4.dsc 7aef95a3259c43a39fdb8695474b822a313dd05c 9196 mathcomp-multinomials_2.2.0-4.debian.tar.xz 159b32a0381d8dac372bbd32e85ad00c9acdf8a3 7897 mathcomp-multinomials_2.2.0-4_source.buildinfo Checksums-Sha256: 0d7e54a7af2b886a2646528509013442eab8ecbeaea09f6f24b52cdcb580f872 2297 mathcomp-multinomials_2.2.0-4.dsc 1bb8e5c420ffeb3b28da55ca6c6ffb83b3523b7b588098d9af202663b8fecd4d 9196 mathcomp-multinomials_2.2.0-4.debian.tar.xz 02210ab9589ec5e2dfb9536a0cd2372f68baa6fecc5f79659d0d8295fa517b6f 7897 mathcomp-multinomials_2.2.0-4_source.buildinfo Files: b7295b7d7a07db2460868f913a393129 2297 ocaml optional mathcomp-multinomials_2.2.0-4.dsc 23e7b59fb7415197c178b3ffcf61896d 9196 ocaml optional mathcomp-multinomials_2.2.0-4.debian.tar.xz 4d8ef9038ac5d1b84a361123692ee946 7897 ocaml optional mathcomp-multinomials_2.2.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9szESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+4wQAIfrTj5HcDVI+3FpHUTWqzInqy4uFpyM 6uTJWYd2iEQ4fOz3iX9WTHITkrnTcozbl5I5xGu2ynux1wjduvsujO1tDI4l8jjQ 1hiF5FA1QvDDXxF2tWEoPewRTpbBIQ7sOmUjc53PcoKL3yrHmZbSNn/+h/C79MSL LkLRkgM97b6n+0giZG4KshCdtQcEx/fWVthKG/g95xRFiYOYjT+LbH16f3LIuXV4 gmnE9WBGj46/EyOoSGhEafn6Gn3mD4U7fwiyA2xEGwDeWmZ3+VSNdLPfVINJTW1M cycERaQLqT83ZGcql9z4aF29izHbwfG3qeT3vp0G35M352gND2T66ThV+Rebee1a 6OmQ4bQhAJgZmOJ+e64RH5CaOeRgjXq3xXjOL30BQiI4gxuRyuJgCbEAHWqe3aA4 ATmB1wRrMKh1gaj/KKcPNThaqSoHMnTsfNyU5tg7Dnbll5qCYSoOIZDBX+5rI660 tkzzbZ5CiKVXXjVqPH4F1n5JuWbu9SDi7vbMSVm32GmqqW95VbgTE88MHT7br9Ee wKiy7P8fTL3KnBjc/tsFswzTbYSz1h903RhNG8sBup37uJl3Kh97KNn700RWW2X+ T8qUW5SiyHLZFphKBXGLtdE8bVpSV/8bwQJIfabv2HZBo9scUCLhxNsdP9nEAM2A ObjYa/8uC4RW =OaXL -----END PGP SIGNATURE-----