coq - 8.9.0-1 main

Versions in amber: 8.9.0-1
 
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
  • Benjamin Barenblat <bbaren@debian.org>
  • Ralf Treinen <treinen@debian.org>
  • Samuel Mimram <smimram@debian.org>
  • St├ęphane Glondu <glondu@debian.org>
  • Enrico Tassi <gareuselesinge@debian.org>
Format: 3.0 (quilt)
Standards Version: 4.3.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Build Dependencies