[ubuntu/noble-proposed] coq-math-classes 8.17.0-1build4 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Sat Dec 23 12:25:18 UTC 2023
coq-math-classes (8.17.0-1build4) noble; urgency=medium
* Rebuild against latest coq
Date: Sat, 23 Dec 2023 07:21:36 -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/coq-math-classes/8.17.0-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:21:36 -0500
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-1build4
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:
coq-math-classes (8.17.0-1build4) noble; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
006850eb880b11ce1fe30461b5b5903e40060913 2163 coq-math-classes_8.17.0-1build4.dsc
0cbe0c1e79be28770b9ceb44493dcedc0161e78d 2836 coq-math-classes_8.17.0-1build4.debian.tar.xz
3b9cf1c86158133dc0a89764da1f6cd3d96eef40 7292 coq-math-classes_8.17.0-1build4_source.buildinfo
Checksums-Sha256:
340e2676ce626a22f51626228b656e492cae7a4c9ef22eaba28de32c593afdc0 2163 coq-math-classes_8.17.0-1build4.dsc
ebdffc3d68019a57600e8974c03e62ce2f3fb7c3eb635ac2ce5cd477a10419b9 2836 coq-math-classes_8.17.0-1build4.debian.tar.xz
a2e9b913806fb9d698f38b1cddea963c4f6bfbcb80e4f15f1d2a3d5eb72965bc 7292 coq-math-classes_8.17.0-1build4_source.buildinfo
Files:
67d4db5894d1fd0a766850857764edc6 2163 ocaml optional coq-math-classes_8.17.0-1build4.dsc
b05fd4035c99b94ae93b5c1db483af8c 2836 ocaml optional coq-math-classes_8.17.0-1build4.debian.tar.xz
6ca8f2973ed6a6e2d05f54a05bf74b22 7292 ocaml optional coq-math-classes_8.17.0-1build4_source.buildinfo
More information about the noble-changes
mailing list