Repository: pureos Suite: landing Maintainer: Debian OCaml Maintainers <debian-ocaml-maint[at]lists.debian.org> Uploaders: Julien Puydt <jpuydt[at]debian.org> Version: 1.1.3+coq8.19-2 Architecture: amd64