[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-interval_4.5.1-2_amd64.changes ACCEPTED into unstable, unstable




Accepted:

-----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-----


Thank you for your contribution to Debian.


Reply to: