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 |