Installlion's Logo

Installlion.com

How To Install ladr4-apps On Ubuntu 15.10

To install ladr4-apps just follow these instructions.

Install ladr4-apps

the LADR deduction library, miscellaneous applicationsUbuntu 15.10universe/math0.0.200911a-2.1
sudo apt-get install ladr4-apps

Which will install ladr4-apps and any other packages on which it depends.

Package Data

Packageladr4-apps
Version0.0.200911a-2.1
MaintainerUbuntu Developers <[email protected]>
Home pagehttp://www.cs.unm.edu/~mccune/mace4/
Descriptionthe LADR deduction library, miscellaneous applications
Distroubuntu
Releasewily
Repouniverse
Sectionuniverse/math

Dependencies