Accepted coq-libhyps 2.0.6-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-libhyps 2.0.6-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:20 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-libhyps_2.0.6-3_source.changes
- Debian-source: coq-libhyps
- Debian-suite: unstable
- Debian-version: 2.0.6-3
- 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=JJ2FoEZa/g2GqkSacKqxevuVXcMeArIUNzgxMMsgjbM=; b=TwdrPG0Bi8HQ/kItJZuBJnC5HU C4MdXXmd3sZ5idiEDT4U0WwfqXUg8qB55jQjTE8x0rj2gBFpYax2AYvl6wtSXbva/Bo2Y7bt+UbRE 6agT03Af46gmFjHBykmFT56rEDrTwn705qMDFSRUPoIfEgJITVbRegCCywgdKvjLF8SCAzyLQZgKp dazF6CGkSytkHy+xcM7Ycxk/efquqFsuRgULkaAUqhViYU7VUy7FfxgF+l69Vl0M80vZzCSB7Z3ur Bs38/EM9WhTj1iChS7grhmmUcR3I79VLbvTqXWsNxotPaju3hU3HLksKDbFWMbMEE22NHwag2LGhB OTYZRTQQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8ocG-000GC9-Fe@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:32:01 +0200
Source: coq-libhyps
Architecture: source
Version: 2.0.6-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-libhyps (2.0.6-3) unstable; urgency=medium
.
* Bump standards-version.
Checksums-Sha1:
4314ff8cb027f818f1fa83616ccd56c8c46059d5 2072 coq-libhyps_2.0.6-3.dsc
05b2d76eea9e7150e94a84967a5e57bfeb1ba440 1944 coq-libhyps_2.0.6-3.debian.tar.xz
0b1d211f49f613f52f5cbeb63691cdd35e0c8178 7339 coq-libhyps_2.0.6-3_source.buildinfo
Checksums-Sha256:
1c9c9ea7820c63f09cd19a708b8f658a1edf45ab43a618b334c7903aae3bf9de 2072 coq-libhyps_2.0.6-3.dsc
640684e3303d7565e1b88a67f43a80c6cbd8f07543dfaa155787932d2b339c63 1944 coq-libhyps_2.0.6-3.debian.tar.xz
ecf8a50ff95c81336d768195c7b3aada7b04bfe0bfc3c173bd3fbcf98a627d94 7339 coq-libhyps_2.0.6-3_source.buildinfo
Files:
374dce53a540da89a1e0c1ad04b0752c 2072 ocaml optional coq-libhyps_2.0.6-3.dsc
9d4718255f9503e2a4d0a2e35933e9dc 1944 ocaml optional coq-libhyps_2.0.6-3.debian.tar.xz
e32a8580ab94003d55215f66c947f356 7339 ocaml optional coq-libhyps_2.0.6-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVpkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwcEP/2pIELBxh6CBl67f9yJFghfS2qTanetL
XFz+EYaJrvnfxOIB3UAHlHBl6mUe3Iiic3XcqzfpUVsfr9xYcRZ6WEcAGEMfIHmx
DZeyST1e2bE2rkzhcP1ybISLAiybXAAlMB8kbYqGNc891SpMhDhtCyJVwQfdZk0E
vK2opT/ZMnRzaM+fevSc7iHKacU4ejb474vhu/MmhZa1CANf64NIVFsdLoI2wwib
Cj181X/tW3dDdVQW/OLEZ/uB8uQ55rLnjQK+A8lD7l7J8YP4TnRqRrnYuNuI5GJP
10lAYOZuHLibsMJJma1DWsK3QarvHuxW/M2bI3qju4JDiwwbR/84n+cFnfQcFZ/I
P8sG+wtdNvdXIq8+91FpFuE52vCw8+iMqpVOClmWcTmXm9PJTr6fExhSTFKEYLcO
2SvCunUyjGYLjXuihjEZDH3vApWfy/5o+FVi+nxbMjV7J2+Krnp8R/G1KCL85m4e
iv/sc5PpT9n7xDpF8QjC4oki3f/+Zoz3nUdatXMkCqMG8hvBQtfdQ3BgruJBY471
lMag2RrjB6NZY5OQ9PO3OPzjAfjkroykdSqi8/Ufbvv0WWeF/U0VzUln+SPX3Al6
QAONDVzJ7+4SYQllSf+drxkoiQEyPIbl1CkkyXwJ96oruvrSXwk+7LIpHxkqdayb
47xCzgA4Dn1y
=Gj3B
-----END PGP SIGNATURE-----