https://lists.debian.org/debian-ocaml-maint/2016/01/msg00201.html
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
bugsrcmatitaocaml
https://lists.debian.org/debian-ocaml-maint/2016/01/msg00243.html
Bug#802264: src:matita: FTBFS with OCaml 4.02.3
bugsrcmatitaocaml