Back to mathcomp-multinomials PTS page

Accepted mathcomp-multinomials 1.6.0-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 06 Jul 2023 11:51:16 +0200
Source: mathcomp-multinomials
Architecture: source
Version: 1.6.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 mathcomp-multinomials (1.6.0-3) unstable; urgency=medium
 .
   * Fix compilation with recent dune.
Checksums-Sha1:
 da282bfbdf85a2c6dd7e449623803413fc289abb 2274 mathcomp-multinomials_1.6.0-3.dsc
 9b4fb596b00eab10f3fb69942a96a8c51fe6fbc1 8820 mathcomp-multinomials_1.6.0-3.debian.tar.xz
 08433f9123b781be42f7deb0cae2571a170ffa0a 7539 mathcomp-multinomials_1.6.0-3_source.buildinfo
Checksums-Sha256:
 0e1b068cf089eb8caa002ea89c18809b85520b748ab80b98e984ce78f861ecfa 2274 mathcomp-multinomials_1.6.0-3.dsc
 9c038504693d559c734b49a47a68d670cfd3a9a95454784419e9b94e2772b3c9 8820 mathcomp-multinomials_1.6.0-3.debian.tar.xz
 21915465874be61a113bc26dd4e1e7a5c44be788b0865575e8b3e04384f165a7 7539 mathcomp-multinomials_1.6.0-3_source.buildinfo
Files:
 04ffa5dc2d1aa9ef4ea4ab4a1264ab15 2274 ocaml optional mathcomp-multinomials_1.6.0-3.dsc
 26fe9d944bd46a1197757e3ad74a09f6 8820 ocaml optional mathcomp-multinomials_1.6.0-3.debian.tar.xz
 97f039e689a91f16e5d6195908ea7dbc 7539 ocaml optional mathcomp-multinomials_1.6.0-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmjqQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJKAP/3wkXPtvnwHUVvccE5F3U2njllhXECMX
X7eXC4eNRMNymeeoVYw45f6RTkhNlaxHsrICRVYlkyfFCRvSUI5qtHJZNzR1o74M
/IORakzWwrsE7uGAfyh8gGicxXao17vYFT9WqW+PDHPLMNQrV/N+fgvJ1d4xlbvk
F7S8innSjB8DcX/WkXE/c6QCf+UHzvkTPelCdsrVxNU8y6qcltvQ7l/sOu3QMegV
bIF65uxZiYPErz51/MviK/r1yl77NyDomTcBFBxwOdrKfoojooz8TEunwAZitbTS
l4dcghB4Dij8A5LHal1ui5XVdAxtlJn4iRkBKevxpVlIIH8Jk+ot0h7gfOn+UQB1
+ld8mXAwvwEYLB9ikU4zmYdLm5q2ta9vNOTHUHa8mqAZq55n4m9XOfYYeEVAX+rm
LNqDAxhN3yaiGPYXae++U43Az/9Krc7AnC/Ub4xTO902GEhhkKG0uNiOboLOudnQ
Fw0mAa/ABokMxSfQojFfwPp258n0xVKR+9IF+2IbEUE+Thv6K7dYT8E5BVie4Z2L
Kltid7D8v0uIYc/hy5NacFeL2K4Dl6x/mwhyZ37/0lVBFkvorWpFPl21fxtRBn4G
FOCmm7HYh/A3D/Lb5ZRHZemSQYKnqGQEcfLjrdazPK6fcYN2/IPWqn8j61c07VxT
0/V10JNdPUos
=RLpj
-----END PGP SIGNATURE-----