Accepted coqeal 1.1.3-1 (source) into unstable

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

Format: 1.8
Date: Tue, 20 Jun 2023 11:49:18 +0200
Source: coqeal
Architecture: source
Version: 1.1.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038675
Changes:
 coqeal (1.1.3-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
   * Bump depend on mathcomp-multinomials (Closes: #1038675).
Checksums-Sha1:
 7afdd35dfc8e02cba0648e270e0e0f93298d7d2c 2179 coqeal_1.1.3-1.dsc
 1b9af210527afbc4a72fdb79157d741c990f58da 217753 coqeal_1.1.3.orig.tar.gz
 1e50659e618cd82dd44722311ea278a6b7ee71ef 2224 coqeal_1.1.3-1.debian.tar.xz
 d42cfab47f49dc7789ecb48877a3a331ea1f054e 7830 coqeal_1.1.3-1_source.buildinfo
Checksums-Sha256:
 617fcc5cfb44904836eeefdf96fb06e9a44eed738d7830f45b306afcd3bd4d47 2179 coqeal_1.1.3-1.dsc
 a81c21d31fdc888621570ba39a7d1e9bbf4695c112e4e0f8be638296d96dcba1 217753 coqeal_1.1.3.orig.tar.gz
 792529f1529ee0cf65a9d27eddd2848e62c8548417008c6615c81f86471ae7d9 2224 coqeal_1.1.3-1.debian.tar.xz
 daa516b87896a24f0f6adb5ce38c0ad9a54b061d0f916a337233e16e0b9006d8 7830 coqeal_1.1.3-1_source.buildinfo
Files:
 780100a2d89f54a0cc73d35f7805a965 2179 ocaml optional coqeal_1.1.3-1.dsc
 3c901c58e24e003b268c9984e02403af 217753 ocaml optional coqeal_1.1.3.orig.tar.gz
 c0dec2deb1bd4bba7a538da39bf84e1d 2224 ocaml optional coqeal_1.1.3-1.debian.tar.xz
 de57d8085fbce87cf45583bab7009fd2 7830 ocaml optional coqeal_1.1.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdjcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR280P/AnhPAgoSlurjaw4jeKTYxzg1LavGexo
6SjzjAITY4yxduXZfTo23fRq1yYdt6rC6MApf9jAtmpL43U1OgRpH1WAOlFR68Vu
EV9Pqc12SNMBTw7QG1Bnqh3lBHSwtRd1m6H4i8T9F/lpbYht4GIv84bVlHuPuPTQ
BfTDjGVfXj7RV+WZL1Gsnuq4ZUadYYPyirSEzJmFbyrWEoSJxQ9/2EovyVLc7O84
pipUu513mGDH/nFWXDCXSnWAYfIwGX5uwN1XwMjcX0wnwQ63kBpdosVj4DgwFqRY
aMZs2t7+ULLC/6ie3zeBeRRbYishrVLyAjgD72EvbOrsfWWphUpYsWMeGHVCmcgI
XPm2r0KSUoVNZ1M768UzoSkisxhJAgssiRovhYwNR/BaQ7ME/G5uGvuf0uo/TpKa
0AgAjN4K90q8rZzVz++PE9TarRsSBEwpaHrq69KIvB+A743tAXIgyMY+kNkXRjEr
/s2c8Fs2ZRxZO1QOYnNQQ9d+Vf/8Nx6mpZ+sts3R/eO2A36l33vUZiOy3TdOXb75
aTnqQjms+eIJu8JnMTfnCFt6U24pTtYFHfkQbrE7X0ipChXMe1QaV0fHhiRFPsmq
GB1ZgTOup4PnkL0sJ9WyS84uwXeKz8tQWE/6wkv5rBMcztK379TQNup8BmS35Hc9
WSU19cjuHbvA
=GfmV
-----END PGP SIGNATURE-----