packages
[ Source: ladr ]
Package: ladr4-apps (0.0.200911a-2.1build1) [universe]
Links for ladr4-apps
Ubuntu Resources:
Download Source Package ladr:
- [ladr_0.0.200911a-2.1build1.dsc]
- [ladr_0.0.200911a.orig.tar.gz]
- [ladr_0.0.200911a-2.1build1.debian.tar.xz]
Maintainer:
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.
External Resources:
- Homepage [www.cs.unm.edu]
Similar packages:
the LADR deduction library, miscellaneous applications
Other Packages Related to ladr4-apps
|
|
|
|
-
- dep: libc6 (>= 2.11) [not arm64, ppc64el]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
-
- dep: libladr4 (>= 0.0.200902a)
- the LADR deduction library
-
- dep: python
- interactive high-level object-oriented language (default version)
-
- rec: prover9-doc (<< 0.0.200902b)
- documentation for Prover9 and associated programs
- rec: prover9-doc (>> 0.0.200902a)
Download ladr4-apps
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 134.0 kB | 972.0 kB | [list of files] |
| arm64 | 107.2 kB | 961.0 kB | [list of files] |
| armhf | 107.2 kB | 717.0 kB | [list of files] |
| i386 | 130.9 kB | 996.0 kB | [list of files] |
| ppc64el | 114.6 kB | 2,397.0 kB | [list of files] |
| s390x | 120.4 kB | 1,050.0 kB | [list of files] |