Accepted coq-reglang 1.1.3-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.1.3-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 14 Jun 2023 14:24:37 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reglang_1.1.3-3_source.changes
- Debian-source: coq-reglang
- Debian-suite: unstable
- Debian-version: 1.1.3-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=gUhv5VuKzRAH4fwHQnRe+teKCTmoyqs4lWn5jYfilk0=; b=Sjh1Hviv8bSGYKuyA0KRlJ2zgk ryu123W2cnXmglwmuewMvytUD6D1xJgT8pJfS+ZzhfAIim5saRCQ3DjUn8otWMwEQgXggpkD++Zrj X3nr1mlh/te6uvZT7vrgbBk9jngbS4C6Y6lhznzMj7Kf5+hEzhqN2ACEDomq4UhDZVtlskPYlrRNq D4PCjKCefxPPpsLKBfSu31LCQOwT08tV4kdtp90IgpEZZXlvVN3XsOB9yMCh0puhmhDA5Ewg8vaBe 4GZqA3+gPmg4vB6fR5xQbMbvGhDt/qyCaLF7rZe7Q/lSiC+pvHuxEPPikvFIUlzOlQkS9BDWW9gfz /Z8lTOpQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9RQL-009Nuy-B3@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----