Hello, this is the build log (attached)

make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_clean
 dpkg-source -Zxz -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-float using existing ./coq-float_8.10.0.orig.tar.gz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.debian.tar.xz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.dsc
 debian/rules binary
dh binary
   dh_update_autotools_config
   dh_autoreconf
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make all
make[2]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq all
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQC sTactic.v
COQC Faux.v
File "./Faux.v", line 640, characters 0-63:
Error: No such goal.

make[4]: *** [Makefile.coq:716: Faux.vo] Error 1
make[3]: *** [Makefile.coq:339: all] Error 2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:2: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:17: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage-debomatic-original: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------


G.

Hi,

I was looking around at all coq-related packages and found this poor
thing, which seems pretty dead.

I propose to ask for its removal ; I'll proceed in a few weeks if
nobody objects.

Cheers,

J.Puydt

Dear submitter,

as the package coq-float has just been removed from the Debian archive
unstable we hereby close the associated bug reports.  We are sorry
that we couldn't deal with your issue properly.

For details on the removal, please see https://bugs.debian.org/1011347

The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.

Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@ftp-master.debian.org.

Debian distribution maintenance software
pp.
Thorsten Alteholz (the ftpmaster behind the curtain)