Accepted coq-relation-algebra 1.7.8-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-relation-algebra 1.7.8-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 01 Oct 2022 23:00:11 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: coq-relation-algebra_1.7.8-1_amd64.changes
- Debian-source: coq-relation-algebra
- Debian-suite: unstable
- Debian-version: 1.7.8-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=PuJAKzw0KgjmhavzgdxpyjF5mp+juE3wqLZqj52KI0M=; b=ojGYsYz+PZsCNU4yAHNV/AioGS PKuHWcih9mOf7boyxMdYsv8C6GT2qJP4s056LY+7+rdrJV6irBn/pspW/IbeshMWOgb/FYUBeu1Z3 1ZuicQjN0nHp5YLREyaqVNJjtuHkRiRGjXQY8cBI/O9o9vwl1wYKtLJSQ+D065lbj4NNp+LyOs0Lq magPbstEdxmkH6Sn8QLOq101vq3P2/f2GdTsxBRH9dvdNYVfRnyiTn0KQHIZ72xZ+zi4T0qKwv+vK i1SnCgtcy/VA1mCFFSzkjHr098ECO91wS2E+3MuExCbpdrnyg7GxM4MnosdyfEKcSijBe+dk/llTd r+1PKyyg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oelSt-00C3Yo-QS@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 11 Sep 2022 14:30:52 +0200
Source: coq-relation-algebra
Binary: libcoq-relation-algebra libcoq-relation-algebra-dbgsym
Architecture: source amd64
Version: 1.7.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-relation-algebra - relation algebra for Coq
Closes: 1014991
Changes:
coq-relation-algebra (1.7.8-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014991)
Checksums-Sha1:
9d5099374a95cfce7796283a04a5fd339a3caf28 2229 coq-relation-algebra_1.7.8-1.dsc
11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz
4e817a85bd6926ad2924c6b624f0b525e0218420 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
c92a1c8891d4da05db62eb9a088dab3ddbeb4079 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo
a5d55a3ed8382d0f114a41cf772285690e97d0f0 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
37196765913a3a7aa44b5c305809df9e03e4c5ee 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb
Checksums-Sha256:
dd6d6cafc21731766254fc0e271235ea796f1b23dfab62e10959e7a5f07896a9 2229 coq-relation-algebra_1.7.8-1.dsc
4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
eb5480b2e808fdefc8d8f12702baeaf175f54a4fbb3a31be7364b8b87f59caaa 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
0f23fe7546f3dfe19aee81a42571e2f36f683f2330ea0a100944cfda66bceb9b 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo
8edef9126e9c81926a5e0b9647ba46cbd274715e2ad5cad84f572450b82743f8 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
594c66e744774cde3215d23428e0fd46d258c282e5c63075258c933c0571b4a4 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb
Files:
e6c75f3106434285f64dea0255505bc0 2229 ocaml optional coq-relation-algebra_1.7.8-1.dsc
5978961b75a58dc5dcd2458c69f3b57c 196590 ocaml optional coq-relation-algebra_1.7.8.orig.tar.gz
a7726d8273c49e201ecc11e22c11a6d9 1596 ocaml optional coq-relation-algebra_1.7.8-1.debian.tar.xz
b6ad967a166566adfa366b5ce3dbe7a7 7855 ocaml optional coq-relation-algebra_1.7.8-1_amd64.buildinfo
dc34c44aac81364d3a3d122fed0508ca 13644 debug optional libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
aaca069bbf6b3e041471bf7c7f711a71 2036412 ocaml optional libcoq-relation-algebra_1.7.8-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtvg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+LMP/AilGXbZyEzFFK0jX7ZM4If9j/IFvZ49
BQiigidmSP0eDYA6KIbugR5Cvu4wZtNC0NN3tqQYQlF/47Oj0Yhs6fzDx0lrUmo+
e4EFDC0V6NgNqhg7V5DYSvNVXLMZm1I53qMSuWO0Uh6DGb5SWQ/XQNIrmlo9mU+i
TO4yKdJuu1bwfHpMtmlh0oJndS//SsnzYZGnRelnGBDZ7j/S/VsQ2h2HqikoWAw5
KwzDZ/BbM75794UQ4ce6D+R/avt/A/usIt5BkCbPzopCR1OfCO1OX55w2nca0jkS
Ws9dHNY6q6Jo2KSh8Pg4v8Lfn0ToYzECMv/LDv0mD5zHx5eO3Mi1rDA80JWwREWU
1KxjWkZ6udJ8/OfbfKgVwbXKwsMCX5vOniQEgx70hBeD9OhZGFuoOqhsP5y/yrom
kM2m0w30Cl9NRI4jOIII5EHDNnXBOMfMnXpHwU/9m5SWoleb6//q7lxdGE/4EiDI
Q1b0NIRbFMwK72WCm2Rknx2TOOw0dEuovPvfqzL061hx6IhPEDBpjRbWX9EQp4Oq
YAfbulm8gBgJ9qWWeUgjgmdJOV3jcdzaPSoOmJ7JGWfd1vWWA0NavhOocq+y99HW
rTfRZ0//ybrbjr+iXyS68Q2rXz/q18PTytZCrrXM6Tu+L3WSgW2RXpxXhMM36cVu
EcUmAxKeWAAN
=+Kza
-----END PGP SIGNATURE-----