FS#25234 - [coq] has to be recompiled after ocaml update
Attached to Project:
Community Packages
Opened by Paolo (paolo) - Saturday, 23 July 2011, 11:53 GMT
Last edited by Thomas Dziedzic (tomd123) - Saturday, 23 July 2011, 22:06 GMT
Opened by Paolo (paolo) - Saturday, 23 July 2011, 11:53 GMT
Last edited by Thomas Dziedzic (tomd123) - Saturday, 23 July 2011, 22:06 GMT
|
Details
Description:
Please make a new package release after every ocaml update, otherwise coq's plugin mechanism doesn't work. |
This task depends upon
Closed by Thomas Dziedzic (tomd123)
Saturday, 23 July 2011, 22:06 GMT
Reason for closing: Fixed
Additional comments about closing: pkgrel 2 rebuilt against latest ocaml
Saturday, 23 July 2011, 22:06 GMT
Reason for closing: Fixed
Additional comments about closing: pkgrel 2 rebuilt against latest ocaml