Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
ladr (0.0.200911a-2.1) unstable; urgency=medium
* Non-maintainer upload.
* Build-depend on libtool-bin. Closes: #761761.
-- Matthias Klose <email address hidden> Thu, 09 Oct 2014 10:37:43 +0000
Builds
Built packages
-
ladr4-apps
the LADR deduction library, miscellaneous applications
-
libladr-dev
the LADR deduction library, development files
-
libladr4
the LADR deduction library
-
prover9
theorem prover and countermodel generator
Package files