Accepted coq-interval 4.5.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.5.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 26 Aug 2022 08:35:30 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=lLjLmX0lUumrf0BpDByMvvP7zgfwMryxO5ihnB/cXY0=; b=KroK8VSKAc2bGrN17X6Qx/DmYM zfQKDL2IHg1dQigkZ++KoPigBzyxB75gNMjVZCX24I1dYZjPR1akGeUN/02AlB9RsiV4BH/4oN3m6 vYAqQ/YWpPgnNZ3huZIAzgHJoNMCyyGFED6YJ3gPFw42/464XkJUxmfodO2sepwZfyn3a5jl8MQ+J yMEcrW/o8f4E6wuLGoSD4pg/H96zh71YO9uhgt3o5XZsvKFlK475ciEbHEc+EgzOMLg9pESNJigDp pFImctp2H5OwbmbbtcjoGvn/gR/cswCgv/ftTR6blcpZAk1Zi7LmpKTerx9Jg5roOAKRHRKMnfpvL l6cPCkvg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oRUoM-0029uR-5R@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 26 Aug 2022 09:28:48 +0200
Source: coq-interval
Architecture: source
Version: 4.5.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.5.2-1) unstable; urgency=medium
.
* New upstream release.
* Fix Vcs-* fields.
Checksums-Sha1:
40e63b1fd8683e15c45928fea60f5bb2a8fc4a96 2182 coq-interval_4.5.2-1.dsc
6f7c5b4771c9176212fe1fffed76f46757f61719 254669 coq-interval_4.5.2.orig.tar.bz2
aade9efa732a30f398b7a40165341bf94e8639d8 8668 coq-interval_4.5.2-1.debian.tar.xz
3fbdbb1213eb57116e9919125c87ca248aaf3da1 7577 coq-interval_4.5.2-1_source.buildinfo
Checksums-Sha256:
188870c39639a3be09891ecacbbb8f1a43abb9d13ff460cc4ee3b50c714de6f8 2182 coq-interval_4.5.2-1.dsc
d58ac42ef90d38d9cf283a4244c77c2d6d070d04c5c611568cad74ccf48ccc1e 254669 coq-interval_4.5.2.orig.tar.bz2
40820a71b6ce7653dd86ab53f244ad087c56fa273b8b88e3eb2e33e9012fc34f 8668 coq-interval_4.5.2-1.debian.tar.xz
ea919e4a704206c53248a3fde435e4c82ed3a66297ae43d6b2fbae8d2ec68f16 7577 coq-interval_4.5.2-1_source.buildinfo
Files:
8652f5af8a593f138affdbf2863f76d8 2182 ocaml optional coq-interval_4.5.2-1.dsc
6c4c6ef6b01069c6cfc9214046472092 254669 ocaml optional coq-interval_4.5.2.orig.tar.bz2
0fadaafc77291ae21d03187695ad8d27 8668 ocaml optional coq-interval_4.5.2-1.debian.tar.xz
79eab84b21710d447da71575f4ddc7ae 7577 ocaml optional coq-interval_4.5.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMIeNQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0zoP/2Ns/Zylt0ri5uToTI02iMvJl53FyVgx
3ZKEg23mWsMz3NJGKJpqJHWvkvx9jXXbkA670b8hJHtx9a41XQdRiJpypQos93Fs
gOI3i3b6/RWX8oCDXWxlSZBOlnPTydPX8n9giwMFoTSrvxJljOh4+HttqE90IS9O
8eQ2nXy82r4FTHBmG6oZ2ZJRYwEeuqjRofDrTsaahFnl46CkxCicEQcuN2roRU3r
VWlZUbmyb3YC4E91oxv4kDvGXidH12AVss+56lgvnARTRTkXXsbfZETT8pibdPI0
I+LTRvXWf9SrV6kmT8d6y9rwrPkDbCpNidIJtAfkMSoM91FwgEzp0QIi4P4rizfy
5GfLRYROT35tAfTZySi2vrdptJrtWGiyd9loViW3Nk/P5FaQABga+q37PYEaQksG
626d56tW+iFcDhNGB9nkmAo8uBemOdWvkD9Tyxw7HJnbvXOTz8EKNd8ogV/Ie87a
SJwnrJhqlqpT5e1XJUNGStxw/FkAHkbYGfMmd1Ov+zoF8uV5vnt3j3dIZRLE2082
/bHS03Pq/0GHFIGdHxtRNTyR/yM04F1r2LYHpmpTod+GRD9YJNW070VosEWdP2GT
BK3zi8aDDNtzH9ChescC7FFMRatu5N7kn3fkbbOwUwB4t2hjP/CPN1JsJ7Gasm6v
H7xaSFTupdDm
=RJ4r
-----END PGP SIGNATURE-----