Format: 1.8
Date: Thu, 02 May 2024 22:13:14 +0200
Source: coq-relation-algebra
Binary: libcoq-relation-algebra
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.7.10-3build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-094.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-relation-algebra - relation algebra for Coq
Changes:
 coq-relation-algebra (1.7.10-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 74f5a4e14d57b5ece694eb5b5087a629a861f29c 7864 coq-relation-algebra_1.7.10-3build1_riscv64.buildinfo
 b8c722aca1f77d060473bdb54f2bd8f586e0f104 15540 libcoq-relation-algebra-dbgsym_1.7.10-3build1_riscv64.ddeb
 eaa2308610ba064d764d3e9ceaaa43c5953a4235 2453034 libcoq-relation-algebra_1.7.10-3build1_riscv64.deb
Checksums-Sha256:
 a6930a9a78515467520e14a2eb31e99cfe885da958edec4f2b00784dae9dd65d 7864 coq-relation-algebra_1.7.10-3build1_riscv64.buildinfo
 d95f1678cc67f492d50602f19242787f5c88bd4266e051be48c8da5f5b4a6216 15540 libcoq-relation-algebra-dbgsym_1.7.10-3build1_riscv64.ddeb
 1057ed09a1e570a698ec6e56726b7a10a1716db61781046aaad13298d934b523 2453034 libcoq-relation-algebra_1.7.10-3build1_riscv64.deb
Files:
 a5e139db7a89c4e6e08ef20bb44c9292 7864 ocaml optional coq-relation-algebra_1.7.10-3build1_riscv64.buildinfo
 0a7924db78aa05215881e9335f979486 15540 debug optional libcoq-relation-algebra-dbgsym_1.7.10-3build1_riscv64.ddeb
 ccf76143892ec481de29b86594380f7c 2453034 ocaml optional libcoq-relation-algebra_1.7.10-3build1_riscv64.deb