全部搜索项
bookworm  ] [  trixie  ] [  sid  ]

源码包:coq-relation-algebra(1.7.9-2)

coq-relation-algebra 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
libcoq-relation-algebra
relation algebra for Coq

其他与 coq-relation-algebra 有关的软件包

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

Download coq-relation-algebra

文件大小(单位:kB)MD5 校验码
coq-relation-algebra_1.7.9-2.dsc 2.2 kB 67488c438c151f830a8ea0aa6e594994
coq-relation-algebra_1.7.9.orig.tar.gz 192.1 kB 7b402eae531a30924964b690e83f5644
coq-relation-algebra_1.7.9-2.debian.tar.xz 2.2 kB 4a8d05361d08193a054dcebfa91d45a9
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coq-relation-algebra.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coq-relation-algebra