coqeal_1.1.3-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: