Accepted coq-float 1:8.10.0-1 (source) into unstable
-----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-----
Reply to: