-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 08:05:15 +0100 Source: coq-libhyps Architecture: source Version: 2.0.6-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-libhyps (2.0.6-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: d918bdc02616ffae02e0bdc92281b78a9299ff80 2072 coq-libhyps_2.0.6-2.dsc 30bd58cb605223f91827d07b95afde8520082414 1916 coq-libhyps_2.0.6-2.debian.tar.xz baebc7eb36185966e2bae03e0f1ff2b6c69da768 7387 coq-libhyps_2.0.6-2_source.buildinfo Checksums-Sha256: 4a2508dd9e09161e4751e9ab0f080922e502e57a4bfa577461dd1ff4a20b317b 2072 coq-libhyps_2.0.6-2.dsc a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45 1916 coq-libhyps_2.0.6-2.debian.tar.xz 21a38a0989b3b1aa42ee6123b7988ed6f2a189878d9fe0aa0a417c4f33152633 7387 coq-libhyps_2.0.6-2_source.buildinfo Files: a01affce47ac378ce7f38993005f6bde 2072 ocaml optional coq-libhyps_2.0.6-2.dsc 3af42417a0ab03991e5a2de71fed2812 1916 ocaml optional coq-libhyps_2.0.6-2.debian.tar.xz 50b978ee22bfa05f9cffe09a0f0c9d42 7387 ocaml optional coq-libhyps_2.0.6-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ1NkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9BwP/3TJTU2EVclIC0j7FWC41vxnw8+1D+fs Jg54HnHlNOe4b/iRLlhyQotCHLsdEg3uXwodoAF8oJpB07+BoI5UQyWtbkCeg0YO LOfLZ561b1Aq090OQgVklK5+mhzIzQ3csC5roG5xeMs/Hw4PJ/bEliW5GSAsTrTC l5kxygFnnuAQkSYBMszhzez8xgMaCBp97DHZLy2J8sgGylTt+FWniRbFGDy6cir3 j7CEUtS2NllVHC0WmAUPIdGcjnX84A9u39GtYKYfFwtF1NPe7cJKd6DjopVkMq1t BkJWW6zx4WzyEfyxYk2H8fVDhxOdnYacdrNVngKB7fEP1gD5peegPp7LlFEo+WIR J8y+15dP9S4SHcI9neoqD6St/7lfZZyCU6L9cgdQaOa7aAnyQXpsw9ZxrRVix8En RqD4HVD4+7cABpd+oefeFpZdQ94gHSD9cYh6W1bJju6J9mYHSdKeqcn1r3UCZ0eu XBF5TlPxHG6g/Jj+FATN7xNL9O5erc32jOkD7UUMZJS3LmWwucxSNlpokFHeKeoa Eu8w0YDfpAfzXLWmsqR2AuJaEAHylu+Oc9ROiqF7HL+O6lqfRfVDI8BXaJa+7K7v m0cS1OS98jxrxAjVyYYdCRbbIf2MNowIoEvBB44f8HxOvssCXoE0j1EYPGm3unc7 2IjnMAihAguI =CcmG -----END PGP SIGNATURE-----
