-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3-8.16-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/mattam82/Coq-Equations
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
 151269e9642c09ce186d5857fc841c0a9fd71730 2316 coq-equations_1.3-8.16-2build2.debian.tar.xz
Checksums-Sha256:
 dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
 03b03dcbaf4a8fabc1d779b13724b3c727a4e935df59546bcde708d2c32251e1 2316 coq-equations_1.3-8.16-2build2.debian.tar.xz
Files:
 6c5a89dd4eb82608c27dcd53bae7d54a 1097638 coq-equations_1.3-8.16.orig.tar.gz
 83b10d60ad4a2f8533eb827f8e02e04d 2316 coq-equations_1.3-8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvKFAACgkQ808JdE6f
Xdn+ZhAAn4Dq+UheSeJtzAdayY+E8H+89UV4AFDaKREmvqZRHmB0MM1185pEQRFm
pHldf6uy+RoTwIGAk2cUUbuHINtR8LqkLwUbRKkvxiGatZq39dhF8pphwgWr/6oO
Iz1dIEZ6YVO1wb0Jw0Qvyvn9TpatGTuEBbZtYkDJkQ3Luk38WRntcyAN96zBrqjp
VBTTE12+F1llAGq5BD+uOqFiq+4K+HI0Nkg2tMdRCEP172oM+x07Ti7mwlLAENNn
lBnQ4MoyvUWKH6HjwUzJ+DYoEboahyJjpAFpGzKkHoyPCVKnYQZdRSRy/wTjZV4x
DQYq297Y1iKx0ACLOnbxTRa3d62hePuP1G8niUYVBXfJFg+lhqTOBzVoO2eTg/o+
pMPOMRVgFmiH0lVrnmAbzURHVicd6ghmJGUb9IbykIdnEA2mKnszJ55qGPkrkmr0
Lo8EBHo5mfdn5cXlmsC7wp8KrlhkffOMrgcaNEvPWezZ00kDUs+bdjkb/7aDdKfM
32T+hbec4FKTdiSB9icDNG7PLLGc1RNeTsWcByMHCVBrR4Xru3F7BF51CbcbZFrr
2C/llwye/SxDrBkTBttrjwh8CwqjJuOdKrOEi1IF5QlImM/H1UOgYIu6qcVJ5edf
X0/cn7O0JDwTLtY9jqe0s7rNl9tHnqxfPv4GgrBjz2Sg765O7Bw=
=5NX0
-----END PGP SIGNATURE-----