全部搜索项
bookworm  ] [  sid  ]

源码包:qepcad(1.74+ds-3)

qepcad 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
qepcad
quantifier elimination tool

其他与 qepcad 有关的软件包

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

Download qepcad

文件大小(单位:kB)MD5 校验码
qepcad_1.74+ds-3.dsc 2.0 kB b7b5b3db9e6193192259b88bb56a03b3
qepcad_1.74+ds.orig.tar.xz 249.0 kB 7d3f85d253473f6d90d83033ff22820d
qepcad_1.74+ds-3.debian.tar.xz 25.5 kB 6de574ef8a489093bbbf7e562033a054
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/science-team/qepcad.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/science-team/qepcad