Notes for mathcomp-zify - reproducible builds result

Version annotated: 1.2.0+1.12+8.13-5
Identified issues:
Identifier: nondeterministic_checksum_generated_by_coq
Description /var/lib/coq/md5sums/packagename.checksum contains a short, nondeterminstic string.
 

Our notes about issues affecting packages are stored in notes.git and are targeted at packages in Debian in 'unstable/amd64' (unless they say otherwise).