-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.2-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev
Package-List:
libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
ef82016f68887b92f3945f5b747a895dfcc5bfb9 230261 coquelicot_3.4.2.orig.tar.bz2
95734110d3abd725bcf85c6871d811432cb58c72 2264 coquelicot_3.4.2-1.debian.tar.xz
Checksums-Sha256:
cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7 230261 coquelicot_3.4.2.orig.tar.bz2
9a92b3d7da6ceb7050a79ead9e6d03c42ca0f1d189359b30986f8a3254d4bf54 2264 coquelicot_3.4.2-1.debian.tar.xz
Files:
4bde49882094dbc151a43919856baabe 230261 coquelicot_3.4.2.orig.tar.bz2
4084a07779dff9f58f357efe2c8890f6 2264 coquelicot_3.4.2-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9so8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLbQP/jeFFQWk+cnxKO8XyWqwxWopyhJDDtyg
xc+jTzCsEC9EOYjVeLLM3wuKqemOk6qIABvdwnbZGe5FFJMr8qHPPaCSmukMxzRW
YWL1noLqfeTFrk5bSqj8galjWJ3U9vzk27m1rDRcZ7sGGbS0KynpQBq73RmB2/Lq
Kr0On90V0q9D0vE+tlLDWqLnpB2N6f4xF+TqdRffe+fwaJ47hz6aSJ18s8xuNGcF
MVvy8GN5Tmkg/Tnb1VncRPrP7ChFULi3VxYRic691aAu5vxK2QhZddk7xM6oGu5S
i3Ee3CVmY6D3Tu6moAFJdFJWtSPBLNihODf29p1/2zZ685dAjQlGxR/Iz5CV/obZ
bPMfCC3jq3LKX7XZPRuWlPy3VGsGhUoQ8n5dh/4/cz3blFWp0XZai8aeeKjtFDcD
u+1C8mH20pn5MeeaYQ8+6LvWMYlu/L0KAVbYuTJ9n/NPLLaKfjlZvQF7ZsET/6Fm
szKqX4gUWhSuHp0lyZS2HUeBxWmNO8CeAB2UfcqislwEk5R8t3PS0WUyDse8Btsa
sj0b6dHUzznL2EsxAX+rNnDR3tJbtoZ+lOcsRzdHK5BiF/ejKR6bYcwbBj8MA1S3
Rcpnr+W+5KEBk2+tSHTtAFGlpqtugY6fTSZFDDo3CW/PxkX/hrqIWBr2ogABuvUu
sBAQsuuTls7V
=KyNs
-----END PGP SIGNATURE-----