[ buster ]

Zdrojový balík: ladr (0.0.200911a-2.1)

Odkazy pre ladr

Zdroje Debian:

Správca:

Debian QA Group (Stránka QA)

Externé zdroje:

Domovská stránka [www.cs.unm.edu]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

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

Ostatné balíky súvisiace s balíkom ladr

build-depends

build-depends-indep

adep: debhelper (>= 7.0.50~)

pomocné programy pre debian/rules
adep: libtool

všeobecný skript na podporu knižníc
adep: libtool-bin

všeobecný skript na podporu knižníc - spustiteľný súbor libtool

Download ladr

Súbor	Veľkosť (v kB)	kontrolný súčet 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

Úložisko zdrojových balíkov Debianu (VCS: bzr): nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/