Changes between Initial Version and Version 1 of Ticket #29688


Ignore:
Timestamp:
Jun 2, 2011, 4:54:10 PM (13 years ago)
Author:
ryandesign (Ryan Carsten Schmidt)
Comment:

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  
    11It failed with the following error message.
    22
     3{{{
    34$ sudo port install isabelle-devel
    45--->  Computing dependencies for isabelle-devel
    … …  
    1516Error: Status 1 encountered during processing.
    1617To report a bug, see <http://guide.macports.org/#project.tickets>
     18}}}