PUIAS Penguin

Letter C

coq-debuginfo - Debug information for package coq

Website: coq.inria.fr
License: LGPL
Description:
This package provides debug information for package coq.
Debug information is useful when developing applications that use this
package or when debugging this package.

Packages

coq-debuginfo-8.3pl2-2.sdl6.i686 [2 KiB] Changelog by Thomas Uphill (2011-09-20):
- initial build

Listing created by Repoview-0.6.5-1.el6