The following actions will be performed:
  - install coq         8.7.1+1                                 [required by coq-bignums]
  - install coq-bignums 8.7.0  
===== 2 to install =====
Do you want to continue ? [Y/n] 
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[coq] Archive in cache
[coq-bignums] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[coq: ./configure no] Command started
[coq: make] Command started
[ERROR] The compilation of coq failed at "make -j4".
[coq: rm] Command started
[coq: rm] Command started

#=== ERROR while installing coq.8.7.1+1 =======================================#
# opam-version         1.2.2
# os                   linux
# command              make -j4
# path                 /home/auke/.opam/system/build/coq.8.7.1+1
# compiler             system (4.06.0)
# exit-code            2
# env-file             /home/auke/.opam/system/build/coq.8.7.1+1/coq-30635-6cc03f.env
# stdout-file          /home/auke/.opam/system/build/coq.8.7.1+1/coq-30635-6cc03f.out
# stderr-file          /home/auke/.opam/system/build/coq.8.7.1+1/coq-30635-6cc03f.err
### stdout ###
# [...]
# OCAMLC    toplevel/coqtop.mli
# OCAMLC    kernel/byterun/coq_fix_code.c
# OCAMLC    kernel/byterun/coq_memory.c
# OCAMLC    kernel/byterun/coq_values.c
# OCAMLC    kernel/byterun/coq_interp.c
# OCAMLC    plugins/ltac/tauto.mli
# OCAMLC    plugins/fourier/fourier.ml
# OCAMLC    plugins/micromega/sos_types.mli
# OCAMLC    plugins/micromega/micromega.mli
# make[1]: Leaving directory '/home/auke/.opam/system/build/coq.8.7.1+1'
### stderr ###
# Redundant [TYPED AS] clause in [ARGUMENT EXTEND ssrindex].
# File "plugins/micromega/sos_types.mli", line 15, characters 11-18:
# Error: Unbound module Num
# make[1]: *** [Makefile.build:605: plugins/micromega/sos_types.cmi] Error 2
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:159: submake] Error 2



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions were aborted
  - install coq-bignums 8.7.0
The following actions failed
  - install coq 8.7.1+1
No changes have been performed