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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Thomas Dziedzic (tomd123)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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.
Comment by Thomas Dziedzic (tomd123) - Tuesday, 30 November 2010, 23:30 GMT
I will apply these patches asap, since they are taken from upstream.

Loading...