UbuntuUpdates.org

Package "libladr-dev"

Name: libladr-dev

Description:

the LADR deduction library, development files

Latest version: 0.0.200911a-2.1
Release: xenial (16.04)
Level: base
Repository: universe
Homepage: http://www.cs.unm.edu/~mccune/mace4/

Links


Download "libladr-dev"


Other versions of "libladr-dev" in Xenial

No other version of this package is available in the Xenial release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates