Changes between Initial Version and Version 1 of Ticket #29688
- Timestamp:
- Jun 2, 2011, 4:54:10 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29688
- Property Owner changed from macports-tickets@… to mww@…
- Property Port isabelle-devel added
-
Ticket #29688 – Description
initial v1 1 1 It failed with the following error message. 2 2 3 {{{ 3 4 $ sudo port install isabelle-devel 4 5 ---> Computing dependencies for isabelle-devel … … 15 16 Error: Status 1 encountered during processing. 16 17 To report a bug, see <http://guide.macports.org/#project.tickets> 18 }}}