Notes for frama-c - reproducible builds result

Version annotated: 20140301+neon+dfsg-3
Comments: Embeds the build time.
https://sources.debian.net/src/frama-c/20140301%2Bneon%2Bdfsg-3/Makefile/#L2234
https://sources.debian.net/src/frama-c/20140301%2Bneon%2Bdfsg-3/src/aorai/Makefile.in/#L111
 

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