Author: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Description: Remove the dependency on float.cmo and uint63.cmo for
  building votour.
Upstream-PR: https://github.com/coq/coq/pull/11634

Index: coq/Makefile.build
===================================================================
--- coq.orig/Makefile.build	2020-02-20 16:32:18.091342886 +0100
+++ coq/Makefile.build	2020-02-20 16:33:02.823341523 +0100
@@ -566,7 +566,7 @@

 # votour: a small vo explorer (based on the checker)

-VOTOURCMO:=clib/cObj.cmo kernel/uint63.cmo kernel/float64.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo
+VOTOURCMO:=clib/cObj.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo

 bin/votour: $(call bestobj, $(VOTOURCMO)) $(LIBCOQRUN)
 	$(SHOW)'OCAMLBEST -o $@'
