-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 16 Mar 2020 11:08:42 +0100 Source: coq-float Architecture: source Version: 1:8.10.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 953765 Changes: coq-float (1:8.10.0-1) unstable; urgency=medium . * Team upload * New upstream release, compiles with coq 8.11.0 (closes: #953765) * Add debian/upstream, containing the reference of the TPHOL paper Checksums-Sha1: 51baaa86090bd2935eb4cb34d260344f5662955e 1947 coq-float_8.10.0-1.dsc a95041e42139725d0d0930abdf92d11b3b5b8905 99147 coq-float_8.10.0.orig.tar.gz ea51103d6c475297de0c5e4c59c6f45d84a3f840 3360 coq-float_8.10.0-1.debian.tar.xz 7e7ebb88e1bf6cbd95fc318486bd958cdccfc743 9920 coq-float_8.10.0-1_source.buildinfo Checksums-Sha256: c3fc3fe55ae235432900519627df7673cb660f07df755cb335c11fd001e5e061 1947 coq-float_8.10.0-1.dsc e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea 99147 coq-float_8.10.0.orig.tar.gz d1bd0ca61d5c38ffc8789eb5a6cf808f2f913bac1c790ee8db531b03c6343f8f 3360 coq-float_8.10.0-1.debian.tar.xz 34687ec06225f22e58e7ef7d7e4a78647a20f95d0c6ea576811bbf7b793a92dc 9920 coq-float_8.10.0-1_source.buildinfo Files: 3cd8ec6ce7005575bd8c23c1570f2f3b 1947 math optional coq-float_8.10.0-1.dsc 29d80b937683f8384fb505c9a6a396db 99147 math optional coq-float_8.10.0.orig.tar.gz bf2327ae1aaa487bacea340d7a477270 3360 math optional coq-float_8.10.0-1.debian.tar.xz 2d3feb50a7145a5941dc6964db4fe53f 9920 math optional coq-float_8.10.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5vVMMACgkQdFxHZtTK zf+zCBAAr+sqqAVKbVxN+Rww4dIeWj3KT0JR5+ZBTL/9Aa9g540KoL4MqyEDHdeM jXbQnX6cZMQVpB/1tGsQa13sJIycy/goo4JMvjuQFX1ANR3zAJ+eYX3tgCrGCPv4 iiu8ueUrfMV0keQDLG4PrMt88Sp44guJ0sqNovTtFnTu5DBaeF5d34SU0+OWuNRW bAmra+Lt5uXLjseMTmvTIJ0X02ZmzIpQS8JMg1fVyHTqASuFJ/1SOMqzlSvv/xno 5J9Lqe96EOsEAQT/BX9+TOgsfugo2VNeJNuQxc/wDlECIMb8s8q7blRmTZKU6BfG Pj2uc39Jzp1T8D6Gg4A8tOC8dm/uV6sv6y0nNjxKWcf4sV7vWXWy7MQTvArvo5kd 9ie2ZFI8IrzdZ5AsbX+Cp2PPAFJrQZSisBrdfpOVfCf0Ow6MUHgkwOdhZo43Pwdl WkK4EfCFzYWVd2Z1DPiIgl4QojmTH/VXSbisue5GtusZgakNv3peJzUOxcTcxlJV blw9fL2tbw7UAp8CRxH57LRouIr3K9doo1uPDroDGjhv5HEedj5ziHqhGEAHNxms k8N7Z5M6VhY3VTltUHDgiJCWSlvqa30uucQ3ImVMm2es59rpRHAnSi71dxHpxOr1 Oq8ukWUmk1Wp2kGuAH37GqBqmbvuhnMcYJAAq7PENslyjzTF0Jw= =pOlU -----END PGP SIGNATURE-----
