Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Quellcode-Paket: ladr (0.0.200902a-2)

Links für ladr

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

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

Download ladr

DateiGröße (in kB)MD5-Prüfsumme
ladr_0.0.200902a-2.dsc 1,1 kB 2df00e8e081c7d55e692a1cf1780aa64
ladr_0.0.200902a.orig.tar.gz 1.924,8 kB f37a5304737ea2b14caf90d0a784964e
ladr_0.0.200902a-2.diff.gz 16,8 kB 5a780276344a55e8396a799a56b8fe93
Quellcode-Depot des Debian-Pakets (VCS: bzr)
nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/