[ubuntu/noble-proposed] coq-libhyps 2.0.8-1build2 (Accepted)

Steve Langasek steve.langasek at ubuntu.com
Sun Mar 24 00:15:10 UTC 2024


coq-libhyps (2.0.8-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:02 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-libhyps/2.0.8-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:02 +0000
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-1build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-libhyps (2.0.8-1build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 b485d3fa6688656282661fa9ed1a9040c9c2f74a 2187 coq-libhyps_2.0.8-1build2.dsc
 410906e2ccb209900ff2e503f145f5e5dbe8be82 2244 coq-libhyps_2.0.8-1build2.debian.tar.xz
 1863db62372ac734236c57c9c65099f0a26ccb68 6718 coq-libhyps_2.0.8-1build2_source.buildinfo
Checksums-Sha256:
 d2e2d5be42c8052505c11f99e2da335a85a8d2f7eb4cc1ba23423bdda2291576 2187 coq-libhyps_2.0.8-1build2.dsc
 82efb8026973fd14b92b3b7038723c84304fe7a06ffbf3758e4be0a1689a00df 2244 coq-libhyps_2.0.8-1build2.debian.tar.xz
 c07b4aa910a1c5704ee061ee56f3684d7c6aaa67dd0fb559db5a98658cbaed44 6718 coq-libhyps_2.0.8-1build2_source.buildinfo
Files:
 cb28300b622826dfebe5d52d34756218 2187 ocaml optional coq-libhyps_2.0.8-1build2.dsc
 cea2b069a87df6a030aafa774da120dd 2244 ocaml optional coq-libhyps_2.0.8-1build2.debian.tar.xz
 ef4bdc9e1c4cc3a1655eda7b7f08a0b7 6718 ocaml optional coq-libhyps_2.0.8-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list