全部搜索项
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ 源代码: coq-dpdgraph  ]

软件包:libcoq-dpdgraph(1.0+8.20-1 以及其他的)

libcoq-dpdgraph 的相关链接

Screenshot

Debian 的资源:

下载源码包 coq-dpdgraph

维护小组:

外部的资源:

相似软件包:

Coq plugin to extract dependencies between Coq objects

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

Coq is a proof assistant for higher-order logic.

This package provides the Coq plugin itself.

其他与 libcoq-dpdgraph 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 libcoq-dpdgraph

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
amd64 1.0+8.20-1+b4 36.0 kB253.0 kB [文件列表]