Notes for coq-elpi - reproducible builds result

Version annotated: 1.13.0-1
Identified issues:
Identifier: captures_build_path_in_vo_files_generated_by_coq
Description Build path embedded 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).