Format: 1.8
Date: Sun, 24 Mar 2024 00:15:42 +0000
Source: coq-unimath
Binary: libcoq-unimath
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 20231010-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-011.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-unimath - univalent formalization of mathematics for Coq
Changes:
 coq-unimath (20231010-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 1a57eb4d3b0e07539719d37d1e9d2085f3b8082f 6660 coq-unimath_20231010-1build1_riscv64.buildinfo
 256c0a52d846bca39d03ec7c262c53c1795475bd 48762790 libcoq-unimath_20231010-1build1_riscv64.deb
Checksums-Sha256:
 08bb1538d59d8b447b7994abde961694509c6df863c1059fb726224e82e162c5 6660 coq-unimath_20231010-1build1_riscv64.buildinfo
 6ccb01b269bdc9eccaca2f51bfd32eed559a5fd8ce4e6016e53341b5ca0485d8 48762790 libcoq-unimath_20231010-1build1_riscv64.deb
Files:
 0c8983592630c3f7f0e1ca7d40ae4efc 6660 ocaml optional coq-unimath_20231010-1build1_riscv64.buildinfo
 61f598f4e43205d55d336a1d7adfd5c9 48762790 ocaml optional libcoq-unimath_20231010-1build1_riscv64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>