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: amd64
Version: 1.12.1-1build1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-038.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:
 99aa806acc7bbb2ae7d27361c943306494918bdd 7849 coq-elpi_1.12.1-1build1_amd64.buildinfo
 8f2fed4c41d4046f93d22d0a68122a8451b65a0c 257514 libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_amd64.ddeb
 bf4b3d4a4d426af64978aae56091936e0329ca2c 1535584 libcoq-elpi-ocaml-dev_1.12.1-1build1_amd64.deb
 dee01a8578823afb9dad856f6f10f34ffc5abb75 4760586 libcoq-elpi-ocaml_1.12.1-1build1_amd64.deb
Checksums-Sha256:
 21727d24d3ad588fbdb4a8733d5141b8406b21f608fb899f035c85533020b72f 7849 coq-elpi_1.12.1-1build1_amd64.buildinfo
 4e64f3881d0353ba1a735aeb3da002c0e764cd1133b31e39a80af30ba4997f07 257514 libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_amd64.ddeb
 4a317f4779462a8d4495db813bc7538f48a1b8171355cb51f03ae56a49e04b40 1535584 libcoq-elpi-ocaml-dev_1.12.1-1build1_amd64.deb
 2dcdde514b178ecd249716bce7379d2dbd1b8ff188e1933bc0601a886363c1bb 4760586 libcoq-elpi-ocaml_1.12.1-1build1_amd64.deb
Files:
 d0951301866049005b2c8338cefc4fb8 7849 ocaml optional coq-elpi_1.12.1-1build1_amd64.buildinfo
 ca8c11139db36a1e1f458604dc190bb3 257514 debug optional libcoq-elpi-ocaml-dbgsym_1.12.1-1build1_amd64.ddeb
 704370a5d2602ebaa42a7dccafbfeed8 1535584 ocaml optional libcoq-elpi-ocaml-dev_1.12.1-1build1_amd64.deb
 5f1ba0b74460eff68c127f6b265bc812 4760586 ocaml optional libcoq-elpi-ocaml_1.12.1-1build1_amd64.deb