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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.2-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/analysis
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 ac3c8e33459d320dea6d8cbb420aed201b783663 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 1ae6e5e29bc78654bc13ce5095b732cbf4a0657f 8684 mathcomp-analysis_0.5.2-1build1.debian.tar.xz
Checksums-Sha256:
 8b22303f0949480ee4b99949c19fe9d59ecee4ec9a87b67e71eb5ca24725ebab 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 c187512be8d1512540ff3fc00f1bdd015c2f56b4c4327ec7f509b1e6a66d68d5 8684 mathcomp-analysis_0.5.2-1build1.debian.tar.xz
Files:
 487a8149ff5615417e5b4d97745cdeb7 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 a869c2c4a5fe2b507c96ec8975391a33 8684 mathcomp-analysis_0.5.2-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLXjOMACgkQ808JdE6f
Xdllww//YbeU/Iq54aGN6xHydoidjam6JTWErO/fsK4LYabwQSfYGPmf976NYJVJ
Er4OAmPxvTY1rm0umwNTnTPU7SqL2q8l+/zXvPvgY0lkQl9Ozwq9FynplT98Xv6/
zH2RDiWCN4/svw2SyUIyi03TxtkSBAxO9Q+hPAA3wEX08URpLRaVOTmjmJKwDQWA
oLaTE5kcHa9Ww6w02PuwMXiuOlzS0uuwc83oEjlKVskaJrOBubRHjRkne9NiV/7U
nzae5Fxmn9xIXQvXyirLkqmxQhqpvGj6W8RBVnoPFFO01Sxh565C5nd2LPeS1qLh
Z0m8jrtZ5Nc92/v3z/ihfqiPDzOnUFeRzNVZptZEFlhYU7sJgpG1nu1EHLQk6KjK
ToB3HRl+6mModrLana4ohfmsi9TL5ik1E83d5AudynZGiNuB2tBstPZHoMqpI2JG
zuXk2IYeZHfVk43nrh6pzBlvxFZ3vF9vgWeDEtCiizVdhnb3e2H6yGtn0tdb3clr
cxfc7a48a4gHy6HFKbXQh0g0+zCBjUbZsvSbVLMs3BM95K2/wfO5G3KRtapUXUeG
eY/WHO92+sIesPitgBF4a+5/o8jCethY9bMnMwRTVMrKJqCc1WQ4ILoFUD6bW9K1
6i4nanMUqDyJcMX50y4vg7UU5Xo8CXVFLimmvo0svEYgLjf2pN0=
=VtUM
-----END PGP SIGNATURE-----