Source Package: ladr (0.0.200902a-2)
Links for ladr
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- the LADR deduction library, miscellaneous applications
- the LADR deduction library, development files
- the LADR deduction library
- theorem prover and countermodel generator
Other Packages Related to ladr
- helper programs for debian/rules
- Generic library support script
- patch maintenance system for Debian source packages