Makefile.checker

@@ -43,7 +43,7 @@ checker/check.cmxa $(LIBCOQRUN) checker/coqchk.mli checker/coqchk.ml
 	$(CODESIGN_HIDE) $@
 else
 $(CHICKEN): $(CHICKENBYTE)
-	cp $< $@
+	rm -f $@ && cp $< $@
 endif
 
 $(CHICKENBYTE): config/config.cma clib/clib.cma lib/lib.cma kernel/kernel.cma \

Makefile.ide

@@ -110,7 +110,7 @@ $(COQIDE): $(LINKIDEOPT)
 	$(STRIP_HIDE) $@
 else
 $(COQIDE): $(COQIDEBYTE)
-	cp $< $@
+	rm -f $@ && cp $< $@
 endif
 
 $(COQIDEBYTE): $(LINKIDE)
@@ -119,9 +119,7 @@ $(COQIDEBYTE): $(LINKIDE)
 	       -linkpkg -package str,unix,dynlink,threads,lablgtk3-sourceview3 $(IDEFLAGS) $(IDECDEPSFLAGS) $^
 
 ide/coqide_os_specific.ml: ide/coqide_$(IDEINT).ml.in config/Makefile
-	@rm -f $@
-	cp $< $@
-	@chmod -w $@
+	rm -f $@ && cp $< $@ && chmod a-w $@
 
 ide/%.cmi: ide/%.mli
 	$(SHOW)'OCAMLC    $<'
@@ -150,7 +148,7 @@ IDETOPCMX:=$(IDETOPCMA:.cma=.cmxa)
 
 # Special rule for coqidetop
 $(IDETOPEXE): $(IDETOP:.opt=.$(BEST))
-	cp $< $@
+	rm -f $@ && cp $< $@
 
 $(IDETOP): ide/idetop.ml $(LINKCMX) $(LIBCOQRUN) $(IDETOPCMX)
 	$(SHOW)'COQMKTOP -o $@'

configure.ml

@@ -12,8 +12,8 @@
 #load "str.cma"
 open Printf
 
-let coq_version = "8.10.1"
-let coq_macos_version = "8.10.1" (** "[...] should be a string comprised of
+let coq_version = "8.10.2"
+let coq_macos_version = "8.10.2" (** "[...] should be a string comprised of
 three non-negative, period-separated integers [...]" *)
 let vo_magic = 81000
 let state_magic = 581000

debian/changelog

-coq (8.10.1-1) UNRELEASED; urgency=medium
+coq (8.10.2-1) UNRELEASED; urgency=medium
 
   * New upstream release
     - update COQ_VERSION in debian/rules
@@ -37,12 +37,10 @@ coq (8.10.1-1) UNRELEASED; urgency=medium
     - debian/rules: use "dh_missing --fail-missing" instead of
       "dh_install --fail-missing"
   * Standards-Version 4.4.1 (no change)
-  * debian/copyright:
-    - update file name (bug_1918.v)
-    - update config/*, dev/*, interp/*, lib, kernel/*, library/*, parsing/*,
-      pretyping/*, proofs/*, tactics/* (same copyright holder as the rest)
+  * debian/copyright: updates of copyright holders in many files.
+  * debian/gbp.conf: add doc/whodidwhat to the filter
 
- --
+ -- Ralf Treinen <treinen@debian.org>  Sun, 01 Dec 2019 20:05:42 +0100
 
 coq (8.9.1-1) unstable; urgency=medium