Accepted coq-reglang 1.1.3-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.1.3-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 06 Jul 2023 10:18:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reglang_1.1.3-4_source.changes
- Debian-source: coq-reglang
- Debian-suite: unstable
- Debian-version: 1.1.3-4
- 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=LBsLGmsJC9kz24cyycyP9HrDJWcAY1EkahQygKy5TgI=; b=S550wOB9qjUJkRN7vKp1SoU2er 41wh3DwK/JAbFdExpmX5sYdLGdG8FtLwPVOZHUhZLcbNCMvB4v+TR7IGzTAnXQLsJ/lkHmWt3ZLyK E51aG3zrZbkfun/wlsHAIvHF1vSvDcZAbsARmjGw06lp6/q8o+qgSNTChCP36FqaY3LqENDlhwcky KlntGYEdtNKV3yHYNciN6vTr20/2qPWI1C0T6NVPz546WiYwXgafzIox6Zofh7M2Mwmhxt7Nto5Ur cjfq2veau+9rFml6YVKISVwWSH8jLjRr4kY7NoIMFIBql0QiUXdbXba5lTKzbN8PP8Zcu76lC+DcI Mb0VrQqQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qHM4h-00DtKe-3l@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 06 Jul 2023 11:46:38 +0200
Source: coq-reglang
Architecture: source
Version: 1.1.3-4
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-4) unstable; urgency=medium
.
* Fix compilation with recent dune.
Checksums-Sha1:
263ae8f2be3991512218d2f873a73aaca3f9e99b 2117 coq-reglang_1.1.3-4.dsc
1c4be33fa5b8328bfe2f2427db262317f406bc1d 8436 coq-reglang_1.1.3-4.debian.tar.xz
a8bf9a21b2638db70ac58eea3d791c4abd9322bf 7568 coq-reglang_1.1.3-4_source.buildinfo
Checksums-Sha256:
44ab10383d30405301c30f56ba0067f926c46ee3b31045d2e6917cc55f1433f9 2117 coq-reglang_1.1.3-4.dsc
25a116f9db12de253b2b7b6f8d258942ef3571f67a5d19134486c5e1dc7bc8de 8436 coq-reglang_1.1.3-4.debian.tar.xz
757b72376272657c2c7e788fd94e21db879883048bc3d902ef99a6f81bd610a1 7568 coq-reglang_1.1.3-4_source.buildinfo
Files:
5906c1ded32431174d894b1c4c501441 2117 ocaml optional coq-reglang_1.1.3-4.dsc
c501f4349b9025b3d72fe10ed3488e0a 8436 ocaml optional coq-reglang_1.1.3-4.debian.tar.xz
9453a12675cad6998dedb59b7abf40ff 7568 ocaml optional coq-reglang_1.1.3-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmjg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROnkP/0bMex8nHIeGf3IhgpwrOh/ymeLJhMDx
5IMmoGoBECQ6Hv8JYbnBzFGT/fpxr+nVi/cKOhJEWGAPzKedEamFBGHl6UcD1Z6c
aosQE2wypfJXU/p5cBxDeQcjDGK6E/OYY9y84njmYlCnloT4ladj78AdJ7TXcthf
54K03gGCVJTllvHgeD/yO1a+DG0h20YgeWuID4RbRZyEU7V0XQ6QNG6EWY6JxfrC
5SIxU8nFpYDAPq5s7p4wNxOoAr8DNKMMgbIOTT8A6tmFnY4Taf75whu8N0E1gpYi
aVQ+uQrojzwGOO65CoYmZNfOtRZxPOekxs4wPRDbxHUMDZko0nfpEBVk0kBu78Ro
+XkmFaRx3NKEknaqNy8xBH4VY6ao0whgi27sh2aq4quOagGJe0waQNlgFYjaPjxV
VzENNx54ztgq3u57QAWfuvsy50OrEmWA0vbtckQBvvALLFLHNk/i8twNScFXyM2e
9EW0YLkIKQlkIfXyumYrYd3r4BpHicE048wx7g9oN4J8RcV8ongIN3ethmluRpVe
C7hVJgyWmCm+WPeTbOzvzPmU/NH5uLBvoE0gbbkvF5mdbT01w4tpY98L/iKbm9om
MjqEwUUYzbbIvVs9UD5Szow6wUJ9UaFo/mGoC8MtbINdJM4CBbPrpfQjhhQLyiiv
q5bVO5nlD8DL
=R/A6
-----END PGP SIGNATURE-----