[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-reglang_1.1.3-3_source.changes ACCEPTED into unstable



Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 14 Jun 2023 15:46:07 +0200
Source: coq-reglang
Architecture: source
Version: 1.1.3-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-reglang (1.1.3-3) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 c861d84136e68d70ed468048175a6f9e54c29865 2111 coq-reglang_1.1.3-3.dsc
 505761624199d6b2201c769e024ac8decc9737c8 8412 coq-reglang_1.1.3-3.debian.tar.xz
 f51f28904df811695a4c8199704e3077c7bd7121 7522 coq-reglang_1.1.3-3_source.buildinfo
Checksums-Sha256:
 a19bfeaf6772296f222eb41ac4b18bcbd0f6d730763411643baaacf1f44ad035 2111 coq-reglang_1.1.3-3.dsc
 fee844a8ee85574802980f5598e5589d46da46848682f75dd0de85ce6a3bc4cb 8412 coq-reglang_1.1.3-3.debian.tar.xz
 4d7dcba38f13466b15b50602a4ecd4bebe07ed42fa2490bf0a2c7a3b1040cbbd 7522 coq-reglang_1.1.3-3_source.buildinfo
Files:
 36681f4cf2718b2e09aba9c4cd3b740d 2111 ocaml optional coq-reglang_1.1.3-3.dsc
 1aef75464d650d493a030698d26fd04f 8412 ocaml optional coq-reglang_1.1.3-3.debian.tar.xz
 c9cb2a91163d52265836feac79da2a23 7522 ocaml optional coq-reglang_1.1.3-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxKUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRraAQAKYWF8SSXbR/FkMKywU6ijM89iG9XZ0A
x4kV5axSjHu+kGWx7RupYee+f1aUkW02DKXRCmQwwQV4r3ZbfpSvdYbnNzY8R40o
nVZsyTt4HA+Bo7sep6x2B4eJ6eag3gxqWzusDLb3WnTCejT5dt9OwWqUVkgfd7PV
Qqy2fGuZq7M1zFaXkvkqIl9WaEW/qvDgU2dglvaNYBL0bHG1e5ejKX9cALCEPUBu
oQOlYiiA3xpldf6VIVvA1m8eh8M+H5aBJ1zE+WE4hawmoNyNHe05R1Tuaij+VVqt
3k8FxHKKv+ujvWpB8ikaQ+/IlGGAU/KW618kwXpy0i+IMopuvlFr+pA8cGspy/Tu
dbQOjCshoxzu5Hnkvq/kLMo8ZWSsrK1Iky+RF+YVxYIxkyN7eNXIg3K2h5+2MsFy
nfqT5tQrdfKIMYaHUYjtcDrC26fzttbkFcfW8wHSqyMQc3CqxfkwJmKyoHlXi/lB
H1uvdUtaw032y30pfJJanj/gg2gFhHAr1yy73SrrFaE3SUMw9iHRgZdXC8re1eLh
1cAwRKLUQCkFiZ+QA9e4tH4WXBWj1PSNcKY1ql6DdlciOcfS21VljRvCkqvYi8Uz
1H9ICAiJEfBQs11x+XhavPvgnRp4pVV92WJGCU+07xsOCQPw/Nb/unQGNfWb9yPG
UljxRmRSYXqo
=tTor
-----END PGP SIGNATURE-----


Reply to: