-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 16 May 2024 14:54:04 +0200 Source: coq-serapi Binary: coq-serapi coq-serapi-dbgsym libcoq-serapi-ocaml libcoq-serapi-ocaml-dbgsym libcoq-serapi-ocaml-dev Architecture: source amd64 Version: 8.19.0+0.19.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: coq-serapi - interaction with Coq (utils) libcoq-serapi-ocaml - interaction with Coq (runtime) libcoq-serapi-ocaml-dev - interaction with Coq (devel) Changes: coq-serapi (8.19.0+0.19.3-2) unstable; urgency=medium . * Made the -ocaml-dev package depend on the -ocaml one. * Add sertop/sertop.el to d/copyright. Checksums-Sha1: a6eb2b7f009dd3bf3617f3b56d620c3e641b112e 2481 coq-serapi_8.19.0+0.19.3-2.dsc 1240ea1bec0fc11e4444c3cf7a3163a54c856d70 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz 084556ea8248bd25a406c9da5478487f1e95afc0 8932 coq-serapi_8.19.0+0.19.3-2.debian.tar.xz e753283f1d97f8171c0c65f3dc0c2b630dba2d7a 10663088 coq-serapi-dbgsym_8.19.0+0.19.3-2_amd64.deb 3a9a1f2a7431a1b8f6c2126d74dc881925fb1a60 10778 coq-serapi_8.19.0+0.19.3-2_amd64.buildinfo 46643270443c0265dd233f5c4c998084cd04606f 30842136 coq-serapi_8.19.0+0.19.3-2_amd64.deb 5d4bf8535ff04a9b38524b55ee41d6ef2a07dcfc 656336 libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-2_amd64.deb ad6342a82ec7a5f17d043418e4da9cc7c59ccce3 12308672 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb 98beedf3c3e58bb54b19e4f109b026c0b53a56ff 6108744 libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb Checksums-Sha256: 17d896270af4e02c9685e1f5143c1d24f6c75dd916fe7606d1f567e614476a12 2481 coq-serapi_8.19.0+0.19.3-2.dsc 48108b534c7859918643f4aaccd5816f425a8445a8a79a662fc41fa465a19201 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz 4961d8ad3440059b076ec092fdc7da7349e5318c64903c570be73e12c940cc61 8932 coq-serapi_8.19.0+0.19.3-2.debian.tar.xz 5772979c21f66080ddf1a1258b27fbfc983a52fc6ee05a0e05cf9a63fe2b2821 10663088 coq-serapi-dbgsym_8.19.0+0.19.3-2_amd64.deb d5c9c15ece5484a02b1d2a8bc2e249e68d9cc2c73f7ddce7e34bb04471d2eff4 10778 coq-serapi_8.19.0+0.19.3-2_amd64.buildinfo bba6e352db12eb1b6dafb388c143320e0c403c34a1d756df51b7a16244ddc192 30842136 coq-serapi_8.19.0+0.19.3-2_amd64.deb c6722d1c134feb2d4da7e070286896434958f95821cdd1389ad12dbd679981aa 656336 libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-2_amd64.deb a4f617713e232ecf318e124d1dce225df3404d7f264b8089fce9aff56991a798 12308672 libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb 51c6505e046de3cc4e324f37ff8d7d8a241a8a45c9cc0c447bf253375d9477a4 6108744 libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb Files: 0b9919779ee6240eb9ba449086f8f0c9 2481 ocaml optional coq-serapi_8.19.0+0.19.3-2.dsc 7151e3da53ed19f2a38e77e26328c781 179654 ocaml optional coq-serapi_8.19.0+0.19.3.orig.tar.gz 480f2471bd8b635f7d56ccd399a35441 8932 ocaml optional coq-serapi_8.19.0+0.19.3-2.debian.tar.xz af8d6be1b53cc7a232e5ea40adbf056e 10663088 debug optional coq-serapi-dbgsym_8.19.0+0.19.3-2_amd64.deb 747e80e7aafae09c461b4782adb8b1a0 10778 ocaml optional coq-serapi_8.19.0+0.19.3-2_amd64.buildinfo 05a1163b0cc38a8cf7d14cf7548f3d3f 30842136 ocaml optional coq-serapi_8.19.0+0.19.3-2_amd64.deb 1c5d72a3850042ba7efa40883853544e 656336 debug optional libcoq-serapi-ocaml-dbgsym_8.19.0+0.19.3-2_amd64.deb 8e36d958fbfbfbc81358ac266ffbcc15 12308672 ocaml optional libcoq-serapi-ocaml-dev_8.19.0+0.19.3-2_amd64.deb 3de2080f8a91bf9e0d71196d92e8a244 6108744 ocaml optional libcoq-serapi-ocaml_8.19.0+0.19.3-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZGBCASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3jEP/Ai1Pthkhn/SpsC/oC4HmzDnzfN+WzUG +9IFC08JtrCTne9bC7ffR/dqJn5rPPdZXrPZFx9clXENG7XoHnQOwtTny2nNhbhN 3vsgDf4XiZtMvuOcs2cUQWNO1HL3DO8GS+JODd1EYnoX4Qhu0R0gi0eXIJq7NWZa 0cfmoc6qHoc59uxDwJDKmCnIwejqQ4NtRoSsPLJMjKZjMUnFgzjnsfbgzyebUpB0 uH1kyoXhXHvKpt7JX2+OjSTxfe323CZxJVHTiGP+wnhXoOe4eR20s3UgW31GEpiG Hgn7psDHP4dEaaQ3TLaCZDWqNpxpbx7719uZOXgzi8QiNZg8l1hfxNKj3Z1HWmAP 3X0zqFwGJ7NCEXti9re7jTwIDeUP6Bk4+l0qg9PtXer8fJLY2oORmlCLyRvUnxMN plbpHNQcTGrejxVsUR7TWGzEqm6vt2REUNjQ2LJ5V9VDrwyKQzVYw1g0YNj+sskw VVfPgqJrY5cQQqaYZFzhSvOCjRU6E5DoMbnLPy+PZ00gqUB0NuNNKs79m2Ie/bAI W5UXFRHLzU9xFIIujyY5wtDuSOWvD8trurOYpFeUJfMvyHVUktNKu7BjtaLrG9/N M/KAZkVMME7woUEJq9c09Zd8iVnyprETPb3z9mPey9P2tf1xkiWtGpF30Dm+H8qb 5zHOw5upjzud =TOIG -----END PGP SIGNATURE-----
