fingerprint-gui 1.06 -> 1.08
fingerprint-gui 1.06 -> 1.09
opam 1.2.2 -> 1.3.0
opam 1.2.2 -> 1.3.1