Format: 1.8
Date: Tue, 25 Jan 2022 17:41:17 +0100
Source: coq-elpi
Binary: libcoq-elpi-ocaml libcoq-elpi-ocaml-dev
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.12.1-1build1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-071.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime)
 libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel)
Changes:
 coq-elpi (1.12.1-1build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 44bed0f8eb06e139492b924d110abf5eb6ca0ed4 7848 coq-elpi_1.12.1-1build1_arm64.buildinfo
 e539711b86376df59bfac95f9f079bf934fa067b 239304 libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_arm64.ddeb
 c1236c0b0e6c2f1668a253d99d922f277966942a 1557550 libcoq-elpi-ocaml-dev_1.12.1-1build1_arm64.deb
 8d99f3b62f7bd76260039e302891666d0913e7c4 5004818 libcoq-elpi-ocaml_1.12.1-1build1_arm64.deb
Checksums-Sha256:
 4141e4501f8367c7d330752d79e55fb7b7fef979b9911098046c3d36beaca52e 7848 coq-elpi_1.12.1-1build1_arm64.buildinfo
 5d6910593f6c74501bf3ad91c3ebc151a4ba57d57fb029a39f43c1a2e9e77d75 239304 libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_arm64.ddeb
 2517e87d6b6346e440fda0997b8e8e02701cd77368c977ff64e752d628762f49 1557550 libcoq-elpi-ocaml-dev_1.12.1-1build1_arm64.deb
 b0e40f0e8660709ed91607e925a2e6a33ea1601139318b08beef093829130468 5004818 libcoq-elpi-ocaml_1.12.1-1build1_arm64.deb
Files:
 8f10bd06b1e369c0598af74a4e8a663a 7848 ocaml optional coq-elpi_1.12.1-1build1_arm64.buildinfo
 00210ac3655a4816005c75f0d6729f68 239304 debug optional libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_arm64.ddeb
 370f72c8057db087a1c07305d6d478dc 1557550 ocaml optional libcoq-elpi-ocaml-dev_1.12.1-1build1_arm64.deb
 45e1283929fc4cc8acd463a29c98a01e 5004818 ocaml optional libcoq-elpi-ocaml_1.12.1-1build1_arm64.deb