fingerprint-gui 1.06 -> 1.08 fingerprint-gui 1.06 -> 1.09 fontforge 20161005 -> 20161012 fontforge 20161005 -> 20170730 fontforge 20161005 -> 20170731 opam 1.2.2 -> 1.3.0 opam 1.2.2 -> 1.3.1