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
python-html2text 2016.9.19 -> 2017.10.4