Tarkennettu haku
buster  ]

Source Package: ladr (0.0.200911a-2.1)

Links for ladr

Debian-palvelut:

Ylläpitäjä:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
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

Muut pakettiin ladr liittyvät paketit

  • build-depends
  • build-depends-indep

Download ladr

TiedostoKoko (kt)MD5-tarkiste
ladr_0.0.200911a-2.1.dsc 1.3 kt 7be5fc8c35dbbd1146305e8bea275743
ladr_0.0.200911a.orig.tar.gz 1,753.7 kt ab409f31ecbb4410b1c7d75deadea2c6
ladr_0.0.200911a-2.1.debian.tar.xz 18.9 kt 0fbb593b779deabb43303557995d05fc
Debian Package Source Repository (VCS: bzr)
nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/