Notes for mathcomp-algebra-tactics - reproducible builds result

Version annotated: 0.3.0-1
Identified issues:
Identifier: nondeterministic_vo_files_generated_by_coq
Description Unknown source in .vo files generated by some Coq tool.
 

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).