-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-elpi Binary: libcoq-elpi Architecture: any Version: 3.2.0-2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/coq-elpi Standards-Version: 4.7.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, 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: 15909b2bade705774c2840fceb42e8defb2b2632 766708 coq-elpi_3.2.0.orig.tar.gz 1e7c5a2eaf0a4d88315583bb5fd258a9dd7415a7 3852 coq-elpi_3.2.0-2.debian.tar.xz Checksums-Sha256: eeb3ec04d57fb5c137b94e99fea590a2e56161158077502c74602fa2a5f62df1 766708 coq-elpi_3.2.0.orig.tar.gz a836d6f7885fdbda4e885269467f40a9f52a6cd6410a7a5d1ce49a5b5103e227 3852 coq-elpi_3.2.0-2.debian.tar.xz Files: 389b06f8eb7d7c71f06e601328643d6b 766708 coq-elpi_3.2.0.orig.tar.gz c384f2a6f4f427a62f0f6e5f661d9031 3852 coq-elpi_3.2.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDPjAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYBOD/9gtPXVSEZFvnOftLIbUN80 QSbOxV+5scuyvCPKZakycFTbGkTBVZR8GqOcdVcD7ahZQaeZ8dEE888pivI3eOSy N9WP6i7nPF3iIFm58Ppo66G38+mtirsQ50U20XZzW0xv1tQq2+537BArSfEGREFD wBjkq6073PG6+1jLi5hdTWyoUClHq0EOLsa/W/mv0eebqQQ7MID30IyhhWsnEBjI 8122ARohqqjRFQIGsw9VxTVEphEv/RUGcrDglX0IEBEPBtaSJU8C4skkLQz4+1QY JiBrN79SyCF68C2Qu+Mj315A/4RllaUwZ9y4U74mRR0qrrEfBxgIDMIIuNylNXqI kjJkhwqFNsfNmgK7zHrv/aK9OHTLIydHbINblM+PZfR1qfIHsjhUAJVPuELc48eE 3zSdqk9sHtEpWLdx+AC8Wi6fsieiP/xusm3tMcyYZvsx4QNFL5ovs2P6cn37xg/+ A3QUbe0+TAKacv6G3HmL5BTm325G+0uOxsv0gf31nwp3Fq5D0Hf1W2lmZvH/hxzB hcYlOjLZszS7E/PaMtg1TKEvjojyvyQcGfBt0x/oatCsMNPwP9CVJgGhAaxTJ5/N eXxpbPRDYG1Ju2XTPvy5NjPZH+yk3AGZ0gtWX3XodrzP/V/f4WFjRUwrR+CoDHep VSdPDBydkyec+SEeNOPI0A== =uu7e -----END PGP SIGNATURE-----