все параметры
buster  ]

Пакет исходного кода: ladr (0.0.200911a-2.1)

Ссылки для ladr

Ресурсы Debian:

Сопровождающий:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
ladr4-apps
библиотека дедукции LADR, различные приложения
libladr-dev
the LADR deduction library, development files
libladr4
the LADR deduction library
prover9
theorem prover and countermodel generator

Другие пакеты, относящиеся к ladr

  • для сборки
  • build-depends-indep

Download ladr

ФайлРазмер (в Кб)Контрольная сумма MD5
ladr_0.0.200911a-2.1.dsc 1,3 Кб 7be5fc8c35dbbd1146305e8bea275743
ladr_0.0.200911a.orig.tar.gz 1 753,7 Кб ab409f31ecbb4410b1c7d75deadea2c6
ladr_0.0.200911a-2.1.debian.tar.xz 18,9 Кб 0fbb593b779deabb43303557995d05fc
Репозиторий пакетов исходного кода Debian (VCS: bzr)
nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/