Format: 1.8
Date: Mon, 08 Apr 2024 09:15:25 +0200
Source: coq-unicoq
Binary: libcoq-unicoq
Built-For-Profiles: noudeb
Architecture: armhf
Version: 1.6-8.18-1build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-003.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-unicoq - enhanced unification algorithm for Coq
Changes:
 coq-unicoq (1.6-8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e868020de833ac568ea71800d5d5b31b31c4b7d7 7095 coq-unicoq_1.6-8.18-1build3_armhf.buildinfo
 f7a3c04f3290ec9aedfd983bd40ab4f444566391 20106 libcoq-unicoq-dbgsym_1.6-8.18-1build3_armhf.ddeb
 d3e88d09afe15c143569abaf3c5f1fb3372f1a40 88348 libcoq-unicoq_1.6-8.18-1build3_armhf.deb
Checksums-Sha256:
 4d22691b337437e9300b5f48fb9f8240216f0461122a43f16d56f98f7107ae0d 7095 coq-unicoq_1.6-8.18-1build3_armhf.buildinfo
 75a7b6e272587ba7758729d96792e78fbceff3740c580e75846381335ef6caa4 20106 libcoq-unicoq-dbgsym_1.6-8.18-1build3_armhf.ddeb
 8535e9899a4d024b502b45874d00c701a549270e5401ee8f0704fe2f2ddd879b 88348 libcoq-unicoq_1.6-8.18-1build3_armhf.deb
Files:
 431042e946a3be9dcc161c2e7ecddc72 7095 ocaml optional coq-unicoq_1.6-8.18-1build3_armhf.buildinfo
 7c0c0924fb2554faff62ee1d8492dd81 20106 debug optional libcoq-unicoq-dbgsym_1.6-8.18-1build3_armhf.ddeb
 ed07d1e720e3f3697538bef84be9e455 88348 ocaml optional libcoq-unicoq_1.6-8.18-1build3_armhf.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>