Accepted coq-float 1:8.9.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 01 Feb 2020 11:28:40 +0100
Source: coq-float
Architecture: source
Version: 1:8.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 813596
Changes:
coq-float (1:8.9.0-1) unstable; urgency=medium
.
* New upstream release (Closes: #813596)
* Update Homepage and debian/watch
* Update Vcs-*
* Remove Samuel from Uploaders
* Bump debhelper compat level to 12
* Bump Standards-Version to 4.5.0
* Add Rules-Requires-Root: no
Checksums-Sha1:
7dc127adefcf084d74a06d6130e0b56523b1d077 1735 coq-float_8.9.0-1.dsc
1e1ba34e62fcca4e7ce8eb1d6dc0741ecae3f9e6 99020 coq-float_8.9.0.orig.tar.gz
52c09d6185cb32195d31a63279282282d4e765e2 3024 coq-float_8.9.0-1.debian.tar.xz
Checksums-Sha256:
1909988cd544246228ff4a54bfe4e0c5fecdd80b39d25cd2fbc9cc47d930f851 1735 coq-float_8.9.0-1.dsc
8690288a0c5c7d3527981f469a9da57453db896e3161ccf1299c2a37f210a760 99020 coq-float_8.9.0.orig.tar.gz
bc7c28c443a057a86daf4da17377d10309cf54b1adc70584ac6d9a1a27afdf6d 3024 coq-float_8.9.0-1.debian.tar.xz
Files:
a2f34d217f2d4dc7cb27b4fde9855762 1735 math optional coq-float_8.9.0-1.dsc
b2b20e8c2d447937e826d391dbce703f 99020 math optional coq-float_8.9.0.orig.tar.gz
75ab93ba403468ccd1ad98b41ddcea26 3024 math optional coq-float_8.9.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl41VV0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBticH/RcbmzkNsUe3DxkmQTIWQUFl5w5qS2ec
FQxIfzsN9Ui+7mPYOwFFkRT9ChUAsIAdDtF/CPR4L/i+vOXN49ET6xYT/LPR3JRv
8lEpxIiP9g1zyyggb672z1dNSspLlgwWFhXqMrwZPUmCaDmXO/rW+MlFBvCb6qT+
tvvzlDCxGY9cTNDEHWaMQLJIlketgcYFsjUqYV4S5S4V7IOwTotzFpArR31xzf3K
bD+DH0AZggoJR+Z6+p7asD6VxYRgg19Gsx3YoJ17u/kG3+JwY2yl16CIbxAhy8v5
sDblT+iw6dJ5qLjKEOalOLka0H4BJ6mBfwiSJunQssaAKE74lIn6DN0=
=m+OM
-----END PGP SIGNATURE-----