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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.5.0-1ubuntu1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.7.0
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, elpi, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 39767838b809bd36739d7e4edf5a03d58881da67 745968 coq-elpi_2.5.0.orig.tar.gz
 4a174c48a96e3267c3987b93e2df9fc9e5dbedb7 3704 coq-elpi_2.5.0-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz
 2416026e7109cbf0eed2ea1e7d3689525994b47f179dc6c0e77f5118e7f37e52 3704 coq-elpi_2.5.0-1ubuntu1.debian.tar.xz
Files:
 43f614e71f48f10222a5f8b4023a3e23 745968 coq-elpi_2.5.0.orig.tar.gz
 d20295d86adac1357915c5a62e7809ac 3704 coq-elpi_2.5.0-1ubuntu1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg1qokACgkQ808JdE6f
XdlFEhAAqfxU6J4kyehlq6T5tpviK71cjWKhE1ki0L2ZyQrR+kX7tihxjo4R317m
1IJ4vdpzLiq6tHkfTiGfkmpy1TOfLorC6mcNIf5q3e04c6Hr2ZAeAVpM1QVKqF8U
2k+RScwSBWqcEw3bhtR7piQpsOUbz0Wy8BvGoCAbT/GyDXR33eFYiQQsADO5gubb
vg5hEMheou3QPxUlCOxIdTXRZXy9KYyIKIt4LvbtVzJapHflvXQmprbYSgPnki/r
mrXh1QVmYsh6cEbshT1Iz+Tj0dQO+hHRIUPkWYwBIonELNR3mrx3oDu8nAmiCp6W
Bq886g5uMj939I/v75DJaNcIPbbjX11f0EeDj0ReWVngjPNSCPUT82Ao8D9sqPR6
g805D4qbbeILDfmQv4DSiQeoDoX9z0rcO/T1KHDmTqdwXWJN/dd3oUu/wAia8678
wO2QORWBdsZUUCuSo8G/MQpcm5qUBAEPvlHBiD3+KR6H+o7zbBCH9xolXwa5IRKg
8goYN3WUWYWSRIVeGP9jDniqQEfGZkytFguJyig2H0F1Al6YmBDgya9rBOh+daXB
1bPRu6k597smQHi8gH7w5tokkGawgIbQBbXWhMig7JKCtnx8CeKcolM1oX30V+cM
6WfkBSwRVtAf28Mw0y+lCB9WoNkOiV2C2wGM2TYezZTX+wC3Q0A=
=OdAE
-----END PGP SIGNATURE-----