Changes between Initial Version and Version 2 of Ticket #51094
- Timestamp:
- Apr 8, 2016, 7:47:33 AM (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #51094
- Property Keywords z3 removed
-
Property
Type
changed from
request
tosubmission
-
Property
Summary
changed from
"z3 New port"
toz3 New port
-
Ticket #51094 – Description
initial v2 1 {{{2 1 This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency. 3 }}}