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

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

Loading...