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