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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 8.20.1+dfsg-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-native-compilers, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Package-List:
 coq deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 21d500c781deee508b71430f64b3538bca5deb5b 30272 coq_8.20.1+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 928c4e2cd5bf3f8a4b84d2f894df3e50a175950fa6f38f103c89aebaf2f187f3 30272 coq_8.20.1+dfsg-1build1.debian.tar.xz
Files:
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 coq_8.20.1+dfsg.orig.tar.xz
 2479f6cbf9e3009bc0f9000953db0660 30272 coq_8.20.1+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhT028ACgkQ808JdE6f
XdkAxg/8Cnd31HpGauieZLpJHPVz0GzTQHmIJWH9Mv4ukjERJjNHFzy4yMSqKhlS
ffjAL/aFTzWZe/ox92QKQp3XLGfbdEJ1Qure0cwFINJw7QlkM0l7TKqBeTtloyMN
+UQ39a9ZsmLMZv0etE9FQrTjLnt55IAmHjiKFEVVOcTuSRV5JpvmKV8UYlH2Zu2D
urEhZd4xkSHak+2V8z6aJiY6IGvLOaqrtCm9wueZKzIS2Czc6Fek6iW5kRTPHgA9
wlTN2TfkqM3gufKwPUJtPaaMbRGxG3ddA1PqtxzNja3jZju38kRa6t6CrBsvSTMF
rZDjgNN+9eHzvKTJNOSp41C9vhMqB+BpEvMa4BKqU83u4/ckNXxVbIDeAwLEgV2n
BAxrOJVv8kbVgEnS5Zq8NAJryxiMGdHV/Ff6ZOw+I+nOCeP1CWpTVPNFH8ueJRmm
j5FMCs8+lVXgKjCZBPTm/xCa3KjFPm/ypCl+wfNyn/35C6ux0NGrtnrn07UWctle
tLRGN4Vn4F8Y4hWV+70x1s4wGaPNDh5XZMphqvF8+8PXt+I/8pEI5TZAocqJg6cU
YPZps9P4nUaxlOlJV/rTTPh+YOsVlri1o9AmjICcupViKd37D9oMYqWgr1Vauvck
0aolo6osrLodFi1qmr447yvtqllQsij169vgepegWVPaPl7iUvI=
=LM7F
-----END PGP SIGNATURE-----