Notes for mathcomp-finmap - reproducible builds result

Version annotated: 1.5.1-7
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).