[ buster ]

源码包：ladr（0.0.200911a-2.1）

ladr 的相关链接

Debian 的资源：

维护者：

Debian QA Group (QA 页面)

外部的资源：

主页 [www.cs.unm.edu]

本源码包构建了以下这些二进制包：

ladr4-apps: the LADR deduction library, miscellaneous applications
libladr-dev: the LADR deduction library, development files
libladr4: the LADR deduction library
prover9: theorem prover and countermodel generator

其他与 ladr 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper (>= 7.0.50~)

用于 debian/rules 的帮助程序
adep: libtool

Generic library support script
adep: libtool-bin

Generic library support script (libtool binary)

Download ladr

文件	大小（单位：kB）	MD5 校验码
ladr_0.0.200911a-2.1.dsc	1.3 kB	7be5fc8c35dbbd1146305e8bea275743
ladr_0.0.200911a.orig.tar.gz	1,753.7 kB	ab409f31ecbb4410b1c7d75deadea2c6
ladr_0.0.200911a-2.1.debian.tar.xz	18.9 kB	0fbb593b779deabb43303557995d05fc

Debian 软件包源码仓库（VCS：bzr）: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/