Summary: | New Port: math/proofgeneral | ||
---|---|---|---|
Product: | Ports & Packages | Reporter: | Timothy Bourke <tbourke> |
Component: | Individual Port(s) | Assignee: | Simon Barner <barner> |
Status: | Closed FIXED | ||
Severity: | Affects Only Me | ||
Priority: | Normal | ||
Version: | Latest | ||
Hardware: | Any | ||
OS: | Any |
Description
Timothy Bourke
2005-08-11 08:50:17 UTC
Responsible Changed From-To: freebsd-ports-bugs->barner I'll handle this. State Changed From-To: open->closed New port added, thank you! |