Version of gitlabracadabra: 2.1.0
Architecture of gitlabracadabra: all
Version of libodoc-ocaml-dev: 2.4.1-1
Architecture of libodoc-ocaml-dev: amd64