[ubuntu/noble-proposed] ott 0.33+ds-2build1 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Sat Dec 23 02:07:09 UTC 2023
ott (0.33+ds-2build1) noble; urgency=medium
* Rebuild against latest coq
Date: Fri, 22 Dec 2023 21:05:57 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ott/0.33+ds-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 21:05:57 -0500
Source: ott
Built-For-Profiles: noudeb
Architecture: source
Version: 0.33+ds-2build1
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
ott (0.33+ds-2build1) noble; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
89da707044ddf066f1b52e730db62a496aac1498 2108 ott_0.33+ds-2build1.dsc
55b7cbce5a85438f97dcb6e9c1bda65ae10643e9 6888 ott_0.33+ds-2build1.debian.tar.xz
b4140d77eb7fa5e55c6b832a773b4ec2f7c1d19b 7244 ott_0.33+ds-2build1_source.buildinfo
Checksums-Sha256:
ee95def2ad63c031724c3d89e5ad5978288fdf76e8f9be0cf467bcddda1ef5e1 2108 ott_0.33+ds-2build1.dsc
a8ca221554ebd98bd70a4001c4c50f69269e9aa283b1870e4ca07a600ec6bf6c 6888 ott_0.33+ds-2build1.debian.tar.xz
bd6f41597ae65cf89d6f2baaeb554e0e4a04e54eb712c6dcda2d0f3cf0d283a4 7244 ott_0.33+ds-2build1_source.buildinfo
Files:
688439201e570858749fbef24a0b5bc2 2108 ocaml optional ott_0.33+ds-2build1.dsc
cbb13841abba89fcc50f7eed6d35a000 6888 ocaml optional ott_0.33+ds-2build1.debian.tar.xz
7dd0cca2835dfd85a822e1c929e8fc6d 7244 ocaml optional ott_0.33+ds-2build1_source.buildinfo
More information about the noble-changes
mailing list