Accepted coq-dpdgraph 1.0+8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-dpdgraph 1.0+8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:05:09 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-dpdgraph_1.0+8.16-2_source.changes
- Debian-source: coq-dpdgraph
- Debian-suite: unstable
- Debian-version: 1.0+8.16-2
- 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=79y8IIaqlacn1dDlBqA/L5+OND+FS9BiS4lk2Ix6GLA=; b=V0EdWSh2OFAfpUucS9z5QN9jpO LUkWFpublXIn20Pxcr2E0g+DzGqpQOlBVG1wM39Qf9XJqA3HNGKGefvSmahhT1vYH/5RZcY0UcpZd jYn5RlLie0cD9uNdiDVpfpCvMq554V8HyYd0j3Uw/5j+zKFqW91GhtsHmdCwyjOrhlbGa87s7OwsZ 7GB7UFjYD22oiuRibhPV8clHEpz6tyDooAStsHZPwSGF/AazionekK4a5/O3cBnN1TfuI1CGTneHs lH1AYi7Z3LlvI9O19WnWJZMjskjoztRCvYtCiYKSVBqDjZFG/Rr7m8PVwonASFz45TifsSbmq/YK6 YOYOx8eg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKZqH-002kpW-16@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:42:37 +0100
Source: coq-dpdgraph
Architecture: source
Version: 1.0+8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-dpdgraph (1.0+8.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
570e00bcdc8022eea2e6887057bdf08e5cb877bd 2208 coq-dpdgraph_1.0+8.16-2.dsc
7159024a77f7a6a8ccce889978f72f13c0fb206b 2744 coq-dpdgraph_1.0+8.16-2.debian.tar.xz
99385d906aeb9dad178e2c857213304a4519ec0d 7432 coq-dpdgraph_1.0+8.16-2_source.buildinfo
Checksums-Sha256:
495c4c3349b8dae37a0f50c9f94f40b9d6189aa4d914e91c6411067ea826a6ee 2208 coq-dpdgraph_1.0+8.16-2.dsc
b83bb6e32a0aa4b76cca6bd459432b27d5cc4c9ff231915c5007956a602f394d 2744 coq-dpdgraph_1.0+8.16-2.debian.tar.xz
715c43126142aa2fd752d5834214b4260acbaa4e9fbef66219b148a9b7cfb6d6 7432 coq-dpdgraph_1.0+8.16-2_source.buildinfo
Files:
965d265b862b35819ef9067ce4f5a944 2208 ocaml optional coq-dpdgraph_1.0+8.16-2.dsc
be73ad7c29033ec81e58e36e1b041fb4 2744 ocaml optional coq-dpdgraph_1.0+8.16-2.debian.tar.xz
8f438d01be1c3dcdba9a288112c40a52 7432 ocaml optional coq-dpdgraph_1.0+8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQz7ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDagP/2+e64Sairjzy3urK7tBYDHx8RxF1bgf
n+1sN6QEo24aKwU9ONnpcVdyymsOjT+J8CzeoKCf2yaT3lsJxAel0yhJb4Rco6w3
jLEDKU5qC6h7eKppmD2xAuYjoajlC/o3ZszBn8E2iks2kREZyTEpJgNTlbd74WWs
mp4sa5xbP20eOsogUN0CYFozZXXRlwUVhaN3nqWyD1Cu45I/foMCqgkWOP6DFUDV
sT4sO6kUvJjSosSG/hoRxdRB9qyL/uF1Nzk+lOHod4YcwBy0gj2KwK2wzRIGC3/e
0idUtfq7S70UOfCzgxcuxmHdGsibcK6Y9Wh9APajuX6KM70fKYHlS0m9ckQ22VzC
CLE0N/0PsJHX+QI5qzSjJ4dkXsghbcv4ZSeLCA7LbqcYckdvd+gBPxQ34fxtsRqF
nMUqf0xCzBt829Zh7VGcsaFVuVsHHXGmwoJQvRd2IFeQd75AKdfTVHawMXxXQgFZ
o9NIEVeT3kVZlP67wMDTitSDtJYr/qloPCKzGEHDYqrmdiOJ741MjzOLuhnSNCKJ
pSoCh06D+piCSrqPHwPqy+NPzmxLxz7BpFRRvPuu6pr1IGm63i1A9iJKEYlxXV79
UjL745opt9zg+oVn9whTBniU1AEouYmtEE8LUqWYszc1DZ6N7F/3f55AoMulZUfs
/kSQcAsdmKDw
=mIOD
-----END PGP SIGNATURE-----