Created attachment 1562378 [details]
build.log from Koji

coq-8.8.2-2.fc31 fails to build in rwahide:

BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/polyglossia/gloss-english.ldf)kpathsea:make_tex: Invalid filename `[FreeSerif.otf]/OT', contains '['
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
! fontspec error: "font-not-found"
! 
! The font "FreeSerif" cannot be found.
! 
! See the fontspec documentation for further information.
! 
! For immediate help type H <return>.
!...............................................  
                                                  
l.28 ]
      
? 
! Emergency stop.
!...............................................  
                                                  
l.28 ]
      
No pages of output.
Transcript written on CoqRefMan.log.
BUILDSTDERR: Latexmk: Log file says no output from latex
BUILDSTDERR: Latexmk: For rule 'pdflatex', no output was made
=== TeX engine is 'XeTeX'
Latexmk: Errors, so I did not complete making targets
BUILDSTDERR: Latexmk: Use the -f option to force complete processing,
BUILDSTDERR:  unless error was exceeding maximum runs, or warnings treated as errors.
make[4]: Leaving directory '/builddir/build/BUILD/coq-8.8.2/doc/sphinx/_build/latex'
BUILDSTDERR: make[4]: *** [Makefile:33: CoqRefMan.pdf] Error 12
BUILDSTDERR: make[3]: *** [Makefile.doc:77: refman-pdf] Error 2
make[3]: Leaving directory '/builddir/build/BUILD/coq-8.8.2'
make[2]: Leaving directory '/builddir/build/BUILD/coq-8.8.2'
BUILDSTDERR: make[2]: *** [Makefile:191: submake] Error 2
BUILDSTDERR: make[1]: *** [Makefile.doc:81: refman] Error 2
make[1]: Leaving directory '/builddir/build/BUILD/coq-8.8.2'
BUILDSTDERR: make: *** [Makefile:191: submake] Error 2
BUILDSTDERR: error: Bad exit status from /var/tmp/rpm-tmp.CDb1o4 (%build)
BUILDSTDERR:     Bad exit status from /var/tmp/rpm-tmp.CDb1o4 (%build)
RPM build errors:
Child return code was: 1

Full logs attached. this blocks the Python 3.8 rebuild, but the failure is Python version agnostic.