[ 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~)

helper programs for 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/