» Ubuntu » Пакеты » disco (19.04) » Исходный код » math » ladr
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]

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

Ссылки для ladr

Ресурсы Ubuntu:

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

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Debian QA Group

It should generally not be necessary for users to contact the original maintainer.

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

Из этого пакета исходного кода собираются следующие двоичные пакеты:
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

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

  • для сборки
  • 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

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