» Ubuntu » 软件包 » disco (19.04) » doc » coq-doc-html
xenial  ] [  bionic  ] [  disco  ] [  eoan  ] [  focal  ]
[ 源代码: coq-doc  ]

软件包: coq-doc-html (8.6-1) [multiverse]

coq-doc-html 的相关链接

Screenshot

Ubuntu 的资源:

下载源码包 coq-doc:

维护者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Samuel Mimram
  • Stéphane Glondu
  • Hendrik Tews

It should generally not be necessary for users to contact the original maintainer.

外部的资源:

相似软件包:

documentation for Coq in html format

下载 coq-doc-html

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 451.9 kB5,411.0 kB [文件列表]