全部搜索项
bookworm  ] [  sid  ]

源码包:coq-gappa(1.5.2-4)

coq-gappa 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

其他与 coq-gappa 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

Download coq-gappa

文件大小(单位:kB)MD5 校验码
coq-gappa_1.5.2-4.dsc 2.0 kB 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71.8 kB 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1.9 kB 22d8be9df660c8d92ea2683d828e8b88
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coq-gappa.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coq-gappa