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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 fb0277f5527212e56f816561fc3f3a0b76e4ea97 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 42c6f016547dbbc9820e2d331885f2ba728f6155 2708 coq-unicoq_1.6-8.18-1build1.debian.tar.xz
Checksums-Sha256:
 1823ab31382fca6e7d60437b02f02fb165298ce75897bbf8868ca8a7c6ce847a 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 6405d0fc7dc3d1ba32711e2338a7714982c57dc1ac1c613ed3c9e5604100d730 2708 coq-unicoq_1.6-8.18-1build1.debian.tar.xz
Files:
 408728377d894cb6125443ebed4ad9a8 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 0cabb213bf3338d811493f657e277f4d 2708 coq-unicoq_1.6-8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cKYaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0vmRAAqz5K8z/tUsShJ3N/THbM
fpI5aneoh8tztB6LFB2O4O6VE00YdeXTM6Ub9vl8sh7G6bUxZSOoM3xOHIJEQBCo
10bMovlL39WuyLhON9RepN7BEuh3vBUWQ/bbfZZlfVGC6MiZ4s4gAMBBPvijS8yD
9jDLY2mBWmHnTCUPftyPyh2fTDpX39d8DNNRP/8CHo62FBq0HJ5PI3jbeBmIcpLs
XalsC+c36Tk7xlTsuwhLprF/4SClQ1+sd3NRgXpY4ZeOB69Nwlecex1HyPqy9KZm
iJhgdrIb36nDTk3jY5vhRRbMvPmJ42T4kQ5CB3or4MMqTrtXLwRbC820Tjx7owJ5
TGftlIhCQQuYCAFDsgmPLWTaUNaCGaT3Qwvpo3XFMOQEVthCZA8pKpTAnaknUw51
sQ0ud0SRa5lTFw7SQd1toiTHOp8CeT6zHgt74SGgnKzABNuy7qSj8aOoL/OOxuZe
HgKnER97eRHSIZo/SYwLRpVA1FymGRgSj/pR020zQQKqwVEuwcAI76ls91e5N4RW
Ln8aa3AAr1Ul+W3emf6z6T5YDvtO4fF6EI/5FrC+leulLPseRjTDt4mkqJyuRCm1
vTpI1DDCjS+rLAmGMAyMV0Nyq3Z6c82lZ6UHNaoMz1ATXOenLCmJ0YFisymyOOS4
iSkwMXKCo0pZ9EcBiLRVcwg=
=qIEb
-----END PGP SIGNATURE-----