[ buster ]

Quellcode-Paket: ladr (0.0.200911a-2.1)

Links für ladr

Debian-Ressourcen:

Betreuer:

Debian QA Group (QS-Seite)

Externe Ressourcen:

Homepage [www.cs.unm.edu]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

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

Andere Pakete mit Bezug zu ladr

build-depends

build-depends-indep

adep: debhelper (>= 7.0.50~)

Hilfsprogramme für debian/rules
adep: libtool

Generisches Skript zur Unterstützung von Bibliotheken
adep: libtool-bin

Generisches Skript zur Unterstützung von Bibliotheken (Binärprogramm libtool)

Download ladr

Datei	Größe (in kB)	MD5-Prüfsumme
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

Quellcode-Depot des Debian-Pakets (VCS: bzr): nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/