Back to ott PTS page

Accepted ott 0.33+ds-3 (source) into unstable



-----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