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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-character, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp
Architecture: any
Version: 2.2.0-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), dh-coq, coq (>= 8.11), libcoq-hierarchy-builder, libcoq-stdlib, lua5.4
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-character deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-fingroup deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
Checksums-Sha1:
 b7b599f9c1e0656a64bdef501afe6d6b8877d8f7 1839093 ssreflect_2.2.0.orig.tar.gz
 ecfbd7ad81209e48b6696daadbd5f82d5e59ad5d 12688 ssreflect_2.2.0-1build1.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 b5993887ea6c102abca3f8592b5cfe91c1c14ebd6fccd3b84a61b84d796d1f63 12688 ssreflect_2.2.0-1build1.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 edcae69124c0e7f03f86cc773f0b78da 12688 ssreflect_2.2.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeVcACgkQ808JdE6f
XdncWQ/8C81jg0T4rgkFNSspUKYgBZBoeeJVjXTSWEv9n7WwzAi0adR9b01PWSNT
pLMVF8FUOPnf0ykQ7T/d0wkAnyT/vQ7k7oYV46R4lBk9ZSbshVib6axTgOYULWil
LLuGl7wtg9TZMp4uPCUc4cs3ouEV22GZNH5TJmPOBxrY7Prvv+dkJmuygKYNnlvM
BNxAwdhzFmjqPP8mW4YjLuwNP+Dc/m6LUHrF/zyhbdgLKaIu0G0vDEpkETdjXOU0
U0WJIYNG5Hj1zc80evj+TzgVtSIX6/yXD+GBjw9n3PMoEYMxV+bXq7vV005wQADw
q5NQuktgFj9zIRyY+HIWNQeB5OoTOZifk7WoXEVUzdeDS+1VZzola9LKgIHg52Bn
4Xm7E5Hl16jNgb8g8vfu7gRl0nt8aEpT5DOmPSBi5ymhT7YVQJee1aQI+/dmtGm1
GqyU+DRONaTq4qZbe6xq710qlZCxxgYp1ZUGACz+yaR+oYhukVUk3k3xAADJ+1EF
OEUGfdhof3hct8iqR/zMnF603vPufSSSPNziuMx8qyZTX973H/IZMoDVm/TVe57I
Pujfbv3x6Rgk11GVBzD+KNxcTB95TnMHaundXs1ItWLPPf1zL3nBUa7pKrkJNAV0
IFiEoZmYUGFxsEmBedKosQMXJrIYtzi5V2USbb0yXuNXLrGL2pc=
=GsBT
-----END PGP SIGNATURE-----