Notes for aac-tactics - reproducible builds result

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