Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============)65018032730560636=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz24AAAKCRCb9qggYcy5 IZE6AP4+Wer+4QbAOArpmX69M1/5NXCZOSC35ynOYrZHOXFkbwD/eS+GPGtnpRrw b2oVTGXIWUBXlX4XE0l2/1DholI7nwQ:AO
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)