UbuntuUpdates.org

Package "ladr"

Name: ladr

Description:

This package is just an umbrella for a group of other packages, it has no description.
Description samples from packages in group:

  • the LADR deduction library, miscellaneous applications
  • the LADR deduction library, development files
  • the LADR deduction library
  • theorem prover and countermodel generator
Latest version: 0.0.200902a-2
Release: precise (12.04)
Level: base
Repository: universe

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Other versions of "ladr" in Precise

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

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: *DELETED* 2011-12-18 14:44:52 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates