-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 12:46:00 +0100 Source: coq-unimath Architecture: source Version: 20220816-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unimath (20220816-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 880290410f428ceba417674d1f1da08a764139b2 2099 coq-unimath_20220816-2.dsc 49e5c58407bfc5d7f996788d33b212a7852952cc 1776 coq-unimath_20220816-2.debian.tar.xz 3b35d1511a9c1c61a67f7e1926c176671bc4da21 7399 coq-unimath_20220816-2_source.buildinfo Checksums-Sha256: 087971ce4047fb9730e685743a9fdce32e87e6dd35afd8cfacaaa1322729e4c1 2099 coq-unimath_20220816-2.dsc 9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1 1776 coq-unimath_20220816-2.debian.tar.xz 0c31904c5c88bbbde9b6fbdbd6b2b21776f1f17e01f6b5c927cda39f9412d84b 7399 coq-unimath_20220816-2_source.buildinfo Files: f1fcfedb2c70a20665de70e1b941a964 2099 ocaml optional coq-unimath_20220816-2.dsc da16caedb5f9c762248c2598dda58960 1776 ocaml optional coq-unimath_20220816-2.debian.tar.xz a754167c6d112f508a25a26c8defdf61 7399 ocaml optional coq-unimath_20220816-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRFrASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5YAP/1LPnTgPgTt9gnLzgNL833rcF2RTUzd5 Wi4FE7vwntIPi9M2GGt+DMvZTbh6FwiChsuyrZ9/p4sCSGqgjqMLaJ9EWeTsGg3k k4DEn5CSlXh5lERbx/N2hSdvwb0PVBLPm8kjj+L9t8antmYUdTFu5+mWUl5lLeLw ZgiCewW7c//2G//MKb05j2Tn6z9C2Kchbsvta7Tl9CJGeYKeJ67/NdXhL5qt2fFx 58ByD7vrJslCuM8rd+rRz5MvSP/1hMWobsrHc6GNafcdQaEH6HoFSYspPgJXsQQg drIce47legABL84rjQy6otUN6wCMYzNKXqYZaIdH3jl1MesInDaf9IWK0LikuRkJ 2y9poQKjyld9GoqL63b2BLu2dCH8YNVHcBD46sO74VSEmOYHdzvfYXU1fCkNsf0N vqwvzTulsuM/rFqxIDkSX78waqj6i8iMqt7uqGHaot88jO4WeWfTRtEx7O9kQRbl 91VayvRgDb/SMbn1IGDLehJ0WZ28Aenyv3OAbgCMFbu6ggfd5OcRo8iDaKkGPDOx 62sBnDOv5iSmH4zbRi1zHH5JVZt/H+MbK7yt0WdemhZEreY9pnAEowwQDtbcz1LX fIfZt9GWRxDC9AM4FA77/h5Kr8t2KGtKq7xAwYlyk89+zbeSsEcXjC+tEQqzOhr2 log99Cr1crN2 =T7pU -----END PGP SIGNATURE-----
