Accepted coq-relation-algebra 1.7.9-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-relation-algebra 1.7.9-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 14 Jun 2023 14:24:47 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-relation-algebra_1.7.9-1_source.changes
- Debian-source: coq-relation-algebra
- Debian-suite: unstable
- Debian-version: 1.7.9-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=vCs2/bglNk2lrNYtdAFgu21MhB5UHYzGOO7/e/vVtHQ=; b=BXJ7a/UbfHqA9tHew/ixjA8xTl WDrIg+rrYhdI+BqmDA8GIbcjF8XL7E1Vzluuubq/UM2NC6TLgbci4REr1peDtb7wsFgNjkCsOmF38 MCCwFoBcS5qwt2SAkjxmq7xtvR3ut+NjtQYozTfuIt+tjKNGnAYjIkqhds3vJCr8sO+UH5N0NVZdU /RBeOyeJAk8zRqwtbQnOaILSOU/mSmQHGJ5NpcfJApsTqVFaesa+0a6RHTdqDiC0mCew3BAwEiCfR My4BRK/w2OMrYfRobzgy0XWdBqWg08g2uGgZk5Mmz2LH59ABGOMi9buWgD1RzwLtRqhJdwTVw9kqU /Y1QHpKQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9RQV-009NyE-Jn@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:28 +0200
Source: coq-relation-algebra
Architecture: source
Version: 1.7.9-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-relation-algebra (1.7.9-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
8e89b412f7845fed6d46023dc31804536a4fb9a8 2234 coq-relation-algebra_1.7.9-1.dsc
bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz
574c4e8f872c0cc6347acf45b697c834930b3c03 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz
e99c6a4c2597b9179545d7303c16a7868568e712 7548 coq-relation-algebra_1.7.9-1_source.buildinfo
Checksums-Sha256:
89c208b662d60634f692cb7b0bf199381e7a240aaa357788514b1c644f0bf264 2234 coq-relation-algebra_1.7.9-1.dsc
5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz
3baad615259316a6b8ad11d9b21a0a50e83f1c238c68401abb6fbc244bdaf4a2 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz
e91c5bbae45e07c68543aebfb356496cdb5928578e5c31344be09280afd7419b 7548 coq-relation-algebra_1.7.9-1_source.buildinfo
Files:
b015b9034f1577c452d91c9246bd8220 2234 ocaml optional coq-relation-algebra_1.7.9-1.dsc
7b402eae531a30924964b690e83f5644 196660 ocaml optional coq-relation-algebra_1.7.9.orig.tar.gz
58397a4385f800f9fda2b7e056d9e4db 1896 ocaml optional coq-relation-algebra_1.7.9-1.debian.tar.xz
a21fdc18aade49ab9391b82c3e8d09fa 7548 ocaml optional coq-relation-algebra_1.7.9-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxLkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpq8P/iCvIQaAdCsaHrDyocCVcj4HTEt9yWRn
O9tuUr7Gz2Q+eNkhQQCvR0/bZkuNoujh1qjaZcDFe8/DAZvdxpEPuX+zK0Ha1ip7
M01R5nek92iftXse5/s0MvTL+mr/rI6jaHNJsu6m7Iny6OZdjpsiErhth+FLq7jj
P3OP47tNHSFhkmoSBBErR60PpiRXbr8Xi/xZp+bVwO3Me5DtnHnG09fSXq1P8seW
xzmmq2jfL3kWAUgEDlmcGSUqQmK/Cj2W1Xj84m2Cs0qt5vEtDUngbwvxRpD8K/yC
LbIkk+udeeP4jorPiiKt3QuPKVprV3m4rxxp3GfIwQK4G8/wfoUoG/n0GiDfQBDd
OaAGzVUMKtut2Qe/MSApFooZ20bVSnbvCReTnh3tv6+xMLLZay4sCNrFx1M/wikk
HLK/1e2bq7EknYjKaCw6lqFetSz3iFJtN+NhfaSSHSN7ddTjZBRjWZZi+8IrhucH
76VAW51pWZbUobR/w5ufbd2lk+vMpJGiT+wNcGZyJlUrk9jY2rCtgPp2JcbABHvN
EEyL29hnVSxhTA614BfXVf/2h4g8IyTBJdQ2U+Mdnem1ksZIrFWMrATY2Feklh3z
Ruha3eqFxV39W3jygRWSJbbTC3EVjLNmAjiwho+1LggZcUyEtZ6t2qwIRMm2A4KL
mmrWRLz6jv7T
=24cL
-----END PGP SIGNATURE-----