Accepted coq-interval 4.5.1-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.5.1-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 20 Jul 2022 18:00:09 +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=iHU7HOh8BLFDB8OaSBvgu1bt1qVQIROdrsMdFYba9no=; b=QmPvwwmlQAqrsLwDpUw8zn300+ dnce9jYQyjZMvk8aEHpz9P6mTtoN8cOqrIO7QztQHI5gJXyG0nQX3uxcEt97BxIWR4zsDUD79i87V gQhasq4Fy8umEWz1mhpw9T6/Mp+fUGJuKzXsoBR/A7bowCUHknVZzfXkKOZUdyK2byP1l8ucutzkV RXmfbAt0eLCA75Qhoz8QjhBvaCs3/Skv4a+rc3c89YUh3yB7qXW58/Xo06tqNqpQn7MOHjQSGUKB1 rgk8yBV2CFhJrir+V5+hXE0iXafZASPuw2VJuh5NKumIUyB6zHb2WTq2cw1bJ5ybDpCk2CB2K3uZh 1fy+aG6Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oEDzV-0009uR-Qd@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 19 Jul 2022 09:16:00 +0200
Source: coq-interval
Binary: libcoq-interval libcoq-interval-dbgsym
Architecture: source amd64
Version: 4.5.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-interval - interval arithmetic for Coq
Changes:
coq-interval (4.5.1-2) unstable; urgency=medium
.
* Correct d/copyright.
Checksums-Sha1:
04f3f2fe8a0ac79c3083c818db8cd612b32b1eb2 2174 coq-interval_4.5.1-2.dsc
7eec152685043bd5a0d3198635fc045284911b71 251894 coq-interval_4.5.1.orig.tar.bz2
4c0f15c352fb84b1670a76b19d18a0fae71fa2ce 8324 coq-interval_4.5.1-2.debian.tar.xz
6f48471b0dd20d7466b8bef52e9a11e3842e570c 7582 coq-interval_4.5.1-2_amd64.buildinfo
2a0b5ee6fc82df1d0559c113515285bb753e3713 3756 libcoq-interval-dbgsym_4.5.1-2_amd64.deb
358626eb28b46b4d90d4f6da925cc6458db9b742 4481568 libcoq-interval_4.5.1-2_amd64.deb
Checksums-Sha256:
102bca9ac1cdc926fa4650956673a7ac96c5e9ee0976bedf0205c6c92e7e7d79 2174 coq-interval_4.5.1-2.dsc
f58d8f45c298d13b80d7fe4a1833ebcb91f80ad01db443909b26e3e375e26612 251894 coq-interval_4.5.1.orig.tar.bz2
244be884146cdbe29601758b0b1fd9f5ec80dfe4c86937a836e4595e1fc43683 8324 coq-interval_4.5.1-2.debian.tar.xz
238cee9982df938a3084c510061cec73e57df1087830196a745b99015c9768ae 7582 coq-interval_4.5.1-2_amd64.buildinfo
a1c90ec7e6330e3d05920118d11b5d3a40d5521dace3f2811a7979d954b56228 3756 libcoq-interval-dbgsym_4.5.1-2_amd64.deb
0deedfa9862ea43dd697f1c7ae2f99a023f3e16197c0994d0a6ec5646619395d 4481568 libcoq-interval_4.5.1-2_amd64.deb
Files:
81507552a6d8e1b14646d162b96abb6f 2174 ocaml optional coq-interval_4.5.1-2.dsc
b8a2f131766cfeb5a96c498727d02869 251894 ocaml optional coq-interval_4.5.1.orig.tar.bz2
00f252421130e0a8a4f1c2961f36b942 8324 ocaml optional coq-interval_4.5.1-2.debian.tar.xz
ce0c5f14e61d95f605112272e62af045 7582 ocaml optional coq-interval_4.5.1-2_amd64.buildinfo
e15832d147310f4b4f315e0c59834670 3756 debug optional libcoq-interval-dbgsym_4.5.1-2_amd64.deb
cf44fe973407529d5927255ff7f78823 4481568 ocaml optional libcoq-interval_4.5.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWW00SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGmgP/06O6epfymxflalUZgV7fwAYmwVOsjxy
kgEt6YTXLWB9jatymR97V52PRroixH4AE1eO97d1mO8LKGKt7TsPP9t8at+RCFNd
e/ZnE7eA+5eOrFlh99grSf8jgMXgE7y/lZXTeBQlOiTaJdpmOBBXxWdzDDhDztcu
BLb5IgSbYczxCHL6LMMcYkgvX5BGnnQ2S7MwHbA4TVihiEEwd1gfc3usnvziAUeU
zsvZ98ybInRNnZxgkIp3g9Q1zVdbsDx45s4wJQKyMA4kL5+04crua+i2C1KlwWum
5KNH41GtfdhwL94vM2zbJHfrRYnWrnCxXuSuP3b2QmqTVR/uNkv96ryqSmq9dYwo
atNxprw/vfZPBWMY225391ZMgNB7LLLL39tJjtEdfoY0Orom2uoP/tVgOuwODojy
XBkPndMD5kEoYkjim1I3lhqadtHhpIB307QZ6Skpl5Ikc6cDrCANe3DjAvkkhwEG
AlePnhpg1yOtIXS4eBGCt+b3bt72MH8RNTQs9F1ND9amhcPsRZ2qqn3I9gzr7xz5
wIyHPoHvtGhdi4aVexFgYy6LK1xUkZN1zd+Noy4c50xDlhaRkv3iIMrJlz1WB0bo
taOS+mcXfLItdayVSauO6pMs7tKsdx8D5BjB68WPUF9wA6mHJ4rDsf3x4HHsm2Zv
8YMox4taDOt4
=POn+
-----END PGP SIGNATURE-----