Accepted coq-bignums 8.17.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.17.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 27 Dec 2022 13:05:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-bignums_8.17.0-1_source.changes
- Debian-source: coq-bignums
- Debian-suite: unstable
- Debian-version: 8.17.0-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=JzELIx82ER+yl8kdONlU1wIrpe+l6gnG/ITaU/5wmpk=; b=fl0mWI5x+muktgracJH24suFpL dZTqed+6Kg7yUTbqWDd68HHyi9kq7tHeXmMTmhCH36+sgBqyInfja+9gyqD8AUlEEET7D1ts3xptI IIS4nyiFwTNO5Wo1Oo768ExlaHjSgXz4Ei85VXGO1syRdjsArGmZcHvYqhZLanqGvRPAh5OnMjqIN Nhof53apnPw7TgJugTO5/R12oRuo2pL/MgCJosNJ+elsDFmQu906S28eZk45Q6KekmdmDGj1yLNmH dZe3S7YzMnqr+KwexHfbnlyYyOK73O2hGtV6D1injq9xaGVjhscOuAnRwH0o8NMOiJENRiQuISf+r 7oujJMzg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pA9dv-00AAlt-W6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 27 Dec 2022 11:02:29 +0100
Source: coq-bignums
Architecture: source
Version: 8.17.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (8.17.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
38c473d007ffb19f5c68b3d6a457f8e5aae64f83 2092 coq-bignums_8.17.0-1.dsc
bf8aec1b920f2abeae4824057e31f513f28fd074 116104 coq-bignums_8.17.0.orig.tar.gz
819798e90f839fb95ff2d694d85617a441dab5fe 1800 coq-bignums_8.17.0-1.debian.tar.xz
fc0a68dc0abcee8c389b86b44fff813f21a265a2 7597 coq-bignums_8.17.0-1_source.buildinfo
Checksums-Sha256:
8cfa74912a0d01a422f4f2a49e758a063d3dc2d5a026ad90a67437c207f0818b 2092 coq-bignums_8.17.0-1.dsc
fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
411019ffd53802e3fb363e736b13a282e9c82096bd0990d3c2b3bbc1fe420098 1800 coq-bignums_8.17.0-1.debian.tar.xz
a8d88339ddfa5a1de0cc5f37a73f62babfa0222ae9c1bc3d94be2bfa5b1f96de 7597 coq-bignums_8.17.0-1_source.buildinfo
Files:
4f6552d6df270b40328244598930e01d 2092 ocaml optional coq-bignums_8.17.0-1.dsc
98dc0dc6d5cefc5b628cd41b2202f6b9 116104 ocaml optional coq-bignums_8.17.0.orig.tar.gz
be6667ded8c6691d259745bda1cb446d 1800 ocaml optional coq-bignums_8.17.0-1.debian.tar.xz
55a8ab36b3c786dc2e1995f57e537df4 7597 ocaml optional coq-bignums_8.17.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOq0aMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVEMP/igLxTiNpLd0cyiwIbCMiZQDeRJETlNe
FfPX97cf0H5f4GZgwy2rCKAwdeG3JhaHuBnN/WOBtKj9jRK74K/0jNb/FP4ykBxh
vTAqAXWMJXnO6drkdfzQET6FxKfAPnfiGOsDa6pAbtvcYBh6p2VupGdMgQR7YNlw
a5If54wdt4shNvOyFoOhCYwMIDCatQlxhfzKQj5hipPgPBKdN5ZM9B+pNvXB7mtZ
TM/miRfmn+AZ5TWyuuGEhsHJPdZ+EsmF6TYJZqaZgtHNt+zSmIwUiJW+NnbrEI9L
vZBkOAtky8IQBI76Ka5BpWh0JCY+6AFnfSUL8G2t8nuSe0BW0dI5+ErmDPvPRpy+
FFuRxxMK56PFT9l4D2DVyNneBuZ9xtEABlBM/IawH7mffz+JS36QNA788jzRmMZG
MRuTJ3aCEWmj6Fqd6Duo9384NTZ2F1dH+G2b43wv882VQ3/hSLAl5rPJL4c7EesB
hCRpAzLyeKNVTnUzqyQBwPYjrUcmiscbITjr47u42QGopA+x3mn3sRiE1CtdVaof
5zQSaxmMfnNIJlHmFFrU/sG2ZFqzbCPDuVqPSZEqJsiX87JbY/3O9ZzSpaXMncWP
T4xx1t8bIDgSWv/bUyf8F1KFdBxpMN9O0Dx4W58mr2oAqTS2H96Rs6oEizXpc9A9
39dTt+Pc7Usb
=BpXm
-----END PGP SIGNATURE-----