Notes for dafny - reproducible builds result

Version annotated: 1.9.7-1
Identified issues:
Identifier: clilibs_line_order
URL https://bugs.debian.org/851809
Description [armhf/i386 only, so may be disorderfs related]
Line order in 'clilibs' differs, in cli/mono packages.
 

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