Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============70167865418817463=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0lxgAKCRCb9qggYcy5 IaqRAQDgHl7PZT45n6apgnoKjxZFb1/6n5sUgiyv7f/EURXxRAD/eoDXC7xlXwQS PJJbxyIldNoGg+OaPxuITUt+Py++uQ4=tGcv
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)