navigatie overslaan

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Pakketten / buster (oldoldstable) / Bron / math / ladr

[  buster  ]

Verwijzigingen voor ladr

Debian bronnen:

• Probleemrapporten
• Developer Information
• Debian Changelog
• Copyright-bestand
• Debian Patch Tracker

Beheerder:

• Debian QA Group (QA-pagina)

Externe bronnen:

• Homepage [www.cs.unm.edu]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

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 aan ladr gerelateerde pakketten

build-depends

build-depends-indep

• 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

Bestand	Grootte (in kB)	MD5 checksum
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 Package Source Repository (VCS: bzr)

nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/