[ubuntu/jammy-proposed] coq 8.15.0+dfsg-1build1 (Accepted)

Matthias Klose doko at ubuntu.com
Tue Jan 25 14:59:13 UTC 2022


coq (8.15.0+dfsg-1build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Tue, 25 Jan 2022 15:57:46 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.15.0+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 25 Jan 2022 15:57:46 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0+dfsg-1build1
Distribution: jammy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq (8.15.0+dfsg-1build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 95ac28f44d06a04e90edc5c96e3e480bac89af83 2631 coq_8.15.0+dfsg-1build1.dsc
 b96f755bfcf8c0a24eb666d5022ee06889c48e61 39728 coq_8.15.0+dfsg-1build1.debian.tar.xz
 d5471a7f131c46e63ccd551063d39d523727659e 7929 coq_8.15.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 8847f7627fc38e5292469afaa5b70747478de9eb7ebd46839cb4434ab5c76d54 2631 coq_8.15.0+dfsg-1build1.dsc
 96c7a9850ba64d16d88b05e983d254d76f57ef5ed8c6ccaf25c39f4c672071cf 39728 coq_8.15.0+dfsg-1build1.debian.tar.xz
 14b41d97e4192d27abe8e358f61dedd56de62a18c3961e3eca25e870c748d641 7929 coq_8.15.0+dfsg-1build1_source.buildinfo
Files:
 ca7f93973fe5db5f232c801179c51166 2631 math optional coq_8.15.0+dfsg-1build1.dsc
 826811d8593ff41dea90a8a89249026c 39728 math optional coq_8.15.0+dfsg-1build1.debian.tar.xz
 bc644db849bc0782d2f0b5f930c868a0 7929 math optional coq_8.15.0+dfsg-1build1_source.buildinfo


More information about the jammy-changes mailing list