-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: mathcomp-real-closed Binary: libcoq-mathcomp-real-closed Architecture: any Version: 2.0.2-1build2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/real-closed Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-ssreflect, ocaml-dune Package-List: libcoq-mathcomp-real-closed deb ocaml optional arch=any Checksums-Sha1: 50f36b2c5ec4f62e0b26a8abba2091730a8ed971 124888 mathcomp-real-closed_2.0.2.orig.tar.gz 0d7d05b72bf920937110a1057d5315350e6097d9 9096 mathcomp-real-closed_2.0.2-1build2.debian.tar.xz Checksums-Sha256: c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f 124888 mathcomp-real-closed_2.0.2.orig.tar.gz 5e614780fa83b7933aa334e89895666ee14b7c9f7d2ffc32c3ed0d715ff52d32 9096 mathcomp-real-closed_2.0.2-1build2.debian.tar.xz Files: 72f905fdcbd3c59dc5d8e682abffb2f6 124888 mathcomp-real-closed_2.0.2.orig.tar.gz 98b6c5e0621bd74df7715ae857a33014 9096 mathcomp-real-closed_2.0.2-1build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSAOAACgkQ808JdE6f XdkIZBAAoIZiAA4wPAYP/joxW5+3cijjdhJy2HsJLRgtNfjPopEmrOTKUSTZ3LoT rX9B0FkdCT/GUqH7HpOJaE3LX1BgZ9goo4HOqBNgt9O6E3X2h3btJaP4utWmHDh5 runsCV09u3wT6+SpAX1nKflSr3Zi7QZNxLFbbyWDeuNvMnp5G3Fq/w2ltLrA1Cjo x7eAhGKi+65OL4diozTkStUfte68lnOucnirXBBgUkiriRzEDY4CX+8xDGuWwmxX kIkmeOWNQPVn9YC7VlRZvMFPYmnI9xuhrIYjRCaZFB/JSzq2dCd/3z8ZW9wG79kx h8DcwSaFlriIPqV+/CNO1RZrKRf379EvevafYwG5H0Yl82zSZZ4NPnRqhhb/iw9k 9sBBcV+xbQdyATtfsMJRqPAlv2VEAdK1YocYZ4cY1+6RLtZwvoalXpyYW/wDv520 P8qS8NNyAwHbvHIgUctj1j/mft0J0zam95I3+oOJI1RAVB056tVyS4WynvTAMjfJ rAq9R0cud7Irse1ItTu0FkSBtdglGZmLQs/KVZx/AM86kS7d7R67836syH+w+pyS Rb01AyIslMpmFvphLaGkKvZBbolJrt76SsecTYIhDEx8uVB4q24fJr4CzebhT1S+ B9UQ7NJXyNr/EapYUTv86VSrmLtWcO3trDJoD4LWFJo3/fQd0Fg= =cRVS -----END PGP SIGNATURE-----