-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Apr 2024 18:06:42 +0200 Source: ott Architecture: source Version: 0.33+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: ott (0.33+ds-3) unstable; urgency=medium . * Add patch for Coq 8.19 support. * Bump standards-version to 4.7.0. Checksums-Sha1: 41bb7631584c914913bc872696118730853a6e55 2109 ott_0.33+ds-3.dsc 7a6c0c1026b0b599e79bcc8baac1b5469ac3ca31 8084 ott_0.33+ds-3.debian.tar.xz b79121fc29662dfeab4b1bd9f236328d2cf57ae9 11809 ott_0.33+ds-3_source.buildinfo Checksums-Sha256: 80f7c5432132208e221b5ca01def58a108983ce0617754725099650305a82d00 2109 ott_0.33+ds-3.dsc 710bd6d8c3c2a1c40f35964d65f4fcb923473d8aa116aaaee9ce61377f4c9160 8084 ott_0.33+ds-3.debian.tar.xz 34e58deade7e0bd42905fda761c8635fb11ccaa023cb9a66908d86afed9a414e 11809 ott_0.33+ds-3_source.buildinfo Files: a5bdbad024d8a565355dd9f32d785070 2109 ocaml optional ott_0.33+ds-3.dsc 4df164b3c23cbe96a977c280a7e2aaa5 8084 ocaml optional ott_0.33+ds-3.debian.tar.xz ae36bbbf4b933ac6d73d8938f61c0496 11809 ocaml optional ott_0.33+ds-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYmi1kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRWmAQAKfbyPT+cJ2SiUF6s57hCPIWLMpC37fA 00HB+QQxt6+tvFgqJkskztHwuR2Mg62kBk53ygjZ8Y/bPLj4cNBC+UJVGlhgYMZs JZjXfCg1piNIlO3XWPVqQlQoZWh2K3frmWAKuWEZzDJI4rfAehwsf4A5vphm5EWO ucBgk5CoUruripfnheXuDp7X3vVCboo8Vx17cfYeVHfiIwi02pWlxIexSNChoFeW U+ocMPhEs/0VmpVTRtEqA+Zi0zIFpBOr/EdKhIPGvErxAxUt32xSggPhmDQaJC3G 7tupDvRiCT9ACoTTTrQQNglERfEpnxI8G8ZF8460c+Arc9VYmbifpTmUoK47oF1z MbddqWPx7qItOKRdINke4f3F944oGc/9sksWObYCC9sSWCria0RlrNjctg2iU8zU DleVxu7yZ3rcxkgKxck1d36ylvV2/UZaSJ+MX+4KYZJ4IhbinxGkYEqUaG+3eE76 W208pHUCH342Sq6TZSprzlnJY23tLPzmg4c4QGmUl1meAbJwuDS7IwtWbvDS8am0 ndbmMzPN5uAvClRgILIAD2nHtj/O2idBoEfr0HNzxWYV+wYv65JJmzMK47YNDVkb xBe7h6edKPbFPIE9OcOgIZceSl+AMz3fc31sbMKPmPJLof0pZ69LjPc7PbRgXKdH yJpttzWSOxUf =c1uo -----END PGP SIGNATURE-----
Attachment:
pgpK5okzJCbEm.pgp
Description: PGP signature