[ubuntu/noble-proposed] coq-interval 4.9.0-1build3 (Accepted)

Steve Langasek steve.langasek at ubuntu.com
Sun Mar 24 00:14:22 UTC 2024


coq-interval (4.9.0-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:55 +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-interval/4.9.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:55 +0000
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.9.0-1build3
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-interval (4.9.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 c0dafa391d4055b7c56cb7dfbf26eb8bbbe4f61e 2302 coq-interval_4.9.0-1build3.dsc
 09bc36865967aab1f2f9db3fe88687c9619c549a 9412 coq-interval_4.9.0-1build3.debian.tar.xz
 b7328e7f67442d952dab1fd6451688c8141e165c 6722 coq-interval_4.9.0-1build3_source.buildinfo
Checksums-Sha256:
 816033e3f31e41620e37847ea23964558c51f861b901bd7c79808d052159f913 2302 coq-interval_4.9.0-1build3.dsc
 cf7e8be9513814dfe0590d69a9217462cf55e98c714b7dab48a5bcbfddc2a846 9412 coq-interval_4.9.0-1build3.debian.tar.xz
 72f9d3ce01dc6479b9e9f6bbe8be89202cab092c0bc50df55088ce8c91f5b1a0 6722 coq-interval_4.9.0-1build3_source.buildinfo
Files:
 351fcf08699daeca4c31089fe95de0ac 2302 ocaml optional coq-interval_4.9.0-1build3.dsc
 f681812ad99480eab8b589240fc5bb6f 9412 ocaml optional coq-interval_4.9.0-1build3.debian.tar.xz
 ee2960a04971a25b71a1ec6cdf4890f9 6722 ocaml optional coq-interval_4.9.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the noble-changes mailing list