-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.19.3-2build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 74cc9bb61f4ebadaa477934490cf711db7ac789b 3816 coq-elpi_1.19.3-2build2.debian.tar.xz
Checksums-Sha256:
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 8f1bf030fc2d0015d5335c34c2f2e56bd0ef93363d27888e99e9e652479d4461 3816 coq-elpi_1.19.3-2build2.debian.tar.xz
Files:
 17db60a99d07ca13976b794a8205327b 571678 coq-elpi_1.19.3.orig.tar.gz
 e97b7760c5c70b9f1eed9a589ef088c7 3816 coq-elpi_1.19.3-2build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cAwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1SFQ/+OPT0tHhOgDoTS9zSCprs
OXhNLEKwgfyty8BfibkwZYxYQZVqK1AicGrbQnUtTDLCXKemLK6F4jOvLCgGDkiT
/ID4/YURrXmn1oJish+5Tnh5rmxZHh2FpQ/26G9C9imn7gFI/K6EZIrgfzfl9lIC
47tOS89kMHIO3mIrgqiNf/EbHxzdUZD2CEaTZJV0QZTS6wtzs1vw0ESyN2KUbsMa
aUrIHgtZsZ1eLIZe23CHdFB2SqafvywruxlhJoKrmrht5ZnFV2o97YqNOmPkVSzw
VtAn/clcz5hbsyMmP6aYq1mOuk8LbKgYRFqRKwFcz4dnXNOjrdOvw+fUmZmryzXz
QOF/mR/dbdVpM6elSXBnTK6me8nidkAvrDj2ohdUcDzt7KBoWkis2Nh5CwWwrHau
MiRXIMYZHsOEaaliYPcY40D9BiUmxDTmfy3GPcCQMm+GSRGtnjqg4WCU0uY0UR03
x2LEZMcC1hBHgHpg+oeHaxTRU84H7+kU2B5ehOGtZ7O+gJZzhOjCj0UseGvbBKvW
HXEye9UZUteJiDzisfF9AxlExGat5QTkI76CceaskCvqELXARsjjSnOzkPdBf+rw
hyQDyVSczMHOUbQA16uemo6yb81jgSGzRG0kmaoFmrPD2heU1ijHp4+KjASsfpJH
e8rLXeU2gLStEPXSZln9tx8=
=w/8G
-----END PGP SIGNATURE-----