Format: 1.8
Date: Sun, 24 Mar 2024 00:12:36 +0000
Source: coq-corn
Binary: libcoq-corn
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.18.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-040.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-corn - Coq Constructive Repository at Nijmegen
Changes:
 coq-corn (8.18.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 b8e013f692cfa40a1b8d2622744eba64549b0dca 6910 coq-corn_8.18.0-1build1_amd64.buildinfo
 e4c2aac90d9ac1fd38018262fc020c3bc0249a3d 15387048 libcoq-corn_8.18.0-1build1_amd64.deb
Checksums-Sha256:
 25fefc1b640ea6bf06c84b92d53ebcfe7ad60d4b9ac2c427bc5b904f89d3dabf 6910 coq-corn_8.18.0-1build1_amd64.buildinfo
 79b6c5a9f195bef95fd2895283742a2269a4ac7c71fe2ae5ecd9458de212969e 15387048 libcoq-corn_8.18.0-1build1_amd64.deb
Files:
 cb6594c580200be69f0b3874142e8172 6910 ocaml optional coq-corn_8.18.0-1build1_amd64.buildinfo
 1dc8f594047c66b673c8e97b66a34be2 15387048 ocaml optional libcoq-corn_8.18.0-1build1_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>