Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.9.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/float
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-float
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-float.git
Build-Depends: debhelper-compat (= 12), coq (>= 8.9)
Package-List:
 libfloat-coq deb math optional arch=all
Dgit: ce2b472c5d10784db4e5e9fca2e66ad567a8e3f5 debian archive/debian/1%8.9.0-1 https://git.dgit.debian.org/coq-float
