Bug 93954

Summary: math/coq: update to version 8.0p3
Product: Ports & Packages Reporter: Johan van Selst <johans>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.diff none

Description Johan van Selst 2006-02-28 20:50:05 UTC 
	
	Update to latest stable version 8.0pl3

	Also removed WITH_IDE as default option, since this won't work
	anymore due to broken dependency.
Comment 1 Volker Stolz 2006-03-01 09:23:30 UTC 
Note to committer: The error in the dependency has been fixed.

Please check if you can't come up with a fix before disabling  
functionality.

Cheers,
   Volker
Comment 2 Johan van Selst 2006-03-09 10:56:16 UTC 
Extra pointyhats to me. The dependencies cause all sorts of weird problems that I couldn't fix (when using ocaml-nox11). This should be no surprise however.

Please leave WITH_IDE=yes in.
Comment 3 Pav Lucistnik freebsd_committer freebsd_triage 2006-03-16 15:31:31 UTC 
State Changed
From-To: open->closed

Committed, thanks!