Format: 1.8
Date: Fri, 22 Dec 2023 21:23:42 -0500
Source: coq-record-update
Binary: libcoq-record-update
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 0.3.3-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-018.buildd>
Changed-By: Jeremy Bícha <jbicha@ubuntu.com>
Description:
 libcoq-record-update - automatic record fields updaters for Coq
Changes:
 coq-record-update (0.3.3-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 d1d0420d8a115cfece1f5b03b049b3618bd18ac4 6549 coq-record-update_0.3.3-1build1_riscv64.buildinfo
 46f5b91d1b2fcd97ccfc93b1179d168ea7369763 17532 libcoq-record-update_0.3.3-1build1_riscv64.deb
Checksums-Sha256:
 21f4750c19ce9a6b6445ed266ef06884be5a39f9a83ee471fb05bd0c8b541394 6549 coq-record-update_0.3.3-1build1_riscv64.buildinfo
 229a953f54c606a2e6bc401b7925d6c08d8477be4f16c9947f9bbde124a511a0 17532 libcoq-record-update_0.3.3-1build1_riscv64.deb
Files:
 13330ddff10ade15d679840338b09d15 6549 ocaml optional coq-record-update_0.3.3-1build1_riscv64.buildinfo
 7399258b09cb0ead9404ad12e4aacb99 17532 ocaml optional libcoq-record-update_0.3.3-1build1_riscv64.deb