FS#21943 - [coq] incompatible with campl5-6
Attached to Project:
Community Packages
Opened by Paolo (paolo) - Tuesday, 30 November 2010, 20:43 GMT
Last edited by Thomas Dziedzic (tomd123) - Wednesday, 01 December 2010, 00:34 GMT
Opened by Paolo (paolo) - Tuesday, 30 November 2010, 20:43 GMT
Last edited by Thomas Dziedzic (tomd123) - Wednesday, 01 December 2010, 00:34 GMT
|
Details
Certain features of Coq become unusable in presence of the
installation of the current version of camlp5 (version
6).
All information is on http://bugs.gentoo.org/show_bug.cgi?id=346061 The gentoo people resolve this with a patch. http://packages.gentoo.org/package/sci-mathematics/coq |
This task depends upon
Closed by Thomas Dziedzic (tomd123)
Wednesday, 01 December 2010, 00:34 GMT
Reason for closing: Fixed
Additional comments about closing: applied mentioned packages to pkgrel 4 reopen if it is still an issue.
Wednesday, 01 December 2010, 00:34 GMT
Reason for closing: Fixed
Additional comments about closing: applied mentioned packages to pkgrel 4 reopen if it is still an issue.
Comment by
Thomas Dziedzic (tomd123) - Tuesday,
30 November 2010, 23:30 GMT
I will apply these patches asap, since they are taken from
upstream.