Accepted coqeal 1.1.3-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqeal 1.1.3-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 20 Jun 2023 10:04:49 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coqeal_1.1.3-1_source.changes
- Debian-source: coqeal
- Debian-suite: unstable
- Debian-version: 1.1.3-1
- 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=811oD+Wbfb0W7D6Qy0Uv0ApZ34uTFIRDWj36LOJe9KQ=; b=W+qMZYESQwYSViQdcG8SmCS6pi POuYACM1quOuNCGrJVM+8jdCSYI56EenBbrrAVk+p1HYkrpU9rMOKu8oBwOeKr9y9yHQcpj5UyO5j 9NhriMou9G7BKNSwgJeGi6GUbKPPPlrnPZ8hE9BV0Cdr/SLAHwoxNm4+zSI1b1vntv4TVsnFTWAdo nNfvLMyfXbFcjN07Hr4+GxjNx+pJ407qf2aCuGHWu3MsAAMZd2+RTaUT0OKlYCEcUw6cSKdI1FFEL voTosgVIvjqO5JLS/A9YGV/oIATMt0HNhbYj3AUbXkG46lFnBwvTMx5q02fiD/P+8m3Vot7Mt2olg 0LlC2TXg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qBYED-0039hO-K7@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----