-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 07 Aug 2022 08:38:06 +0200 Source: coq-mtac2 Architecture: source Version: 1.4+8.15-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-mtac2 (1.4+8.15-3) unstable; urgency=medium . * Add missing shlib:Depends. Checksums-Sha1: 58f7b3d44b77431a11b295b40ab0ee5c76d7dd53 2095 coq-mtac2_1.4+8.15-3.dsc 203f1fb278e4218185b4db0501f24c9a1a6c46c4 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz 9ff1c422b83cbc2f3b04b819ce3ae37cd3aa90fc 6985 coq-mtac2_1.4+8.15-3_source.buildinfo Checksums-Sha256: ccc793df8bf60654d31d94df526982a11d40a03d7c6e6709bda5ddc7c6075957 2095 coq-mtac2_1.4+8.15-3.dsc 5c4121c769d0093b0e2a902b63e945a56277a73fbd390f312041c7e08ba93c09 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz 1c80dd746afaa03b9bc86b8183330753c37c8be804bdffce274f95b6fd1c96b8 6985 coq-mtac2_1.4+8.15-3_source.buildinfo Files: b9ee81f3eae70b9d0e003e4fcc48e1ad 2095 ocaml optional coq-mtac2_1.4+8.15-3.dsc 399f3462c2213de8f9c9dc8142c8412d 2404 ocaml optional coq-mtac2_1.4+8.15-3.debian.tar.xz 59f32e585945631fb3484cd009c376ff 6985 ocaml optional coq-mtac2_1.4+8.15-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLvXmQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRczsP/joGxxAjBrgM+uLZdbM4Nr3lxDr93IgD 6kb6S/PDnVWZDSdTOmgk5AKxcNLBCIl4jX0zaGsbi04FurP8Bd4zXzs+A5i/8zsf CzHOtufluUw3F1TWFgqqin9YoNEkA3SteePexdgrRRYEFXotOVC+nIELPCerwLU8 k4sUMPFw8EjTkTawdzMzMe80DT3zc88cDv4obp5A20EhTRkfkGc8QGqvtgUfCnh3 m9AP2zjnmm6nbjVADsqQZMY+C6Rfa5VjTSw8QBtA2gr6ubUGLGY5TEwC+sgHwB2n mo8bmHAEUEfvgpGfYuIA1SbbyLDw6MZ9NDBaSCO0vC5ijSsDDzn69V9n+or+3pj4 unb5xSdsM3wgeWUG0jKUw2IwYykuXZG8r0ER3+zeNEXmIm37k5eUZm7KdHX4Nu3n 1Mhc2D/zyu7bFuAWQs3jsalNdCtRWMJsJQZOxG6A9Wnhtf0LUJU7nMSm9JhASL4R bA1W0jnjxgTTSdvZL8HsqzQktEZU9KOJqp0eWxnC/42tyuXHj8ZdjAFxfpXRMzrQ ghlFIUPqcfqasV71ngt+pQtC8asixgloA8u9YXO+BokWHNJeUkjIbHa4juoaXmfs gRJ1CPTVy6Nvr+Y3m3xnqIwcPQ4fjc4ZN1m/gvP2fkLLijY5jawO6Kx7kMC6D5Fg ftc0oUy3OQ5P =KYFl -----END PGP SIGNATURE-----