Changes between Initial Version and Version 1 of Ticket #67966


Ignore:
Timestamp:
Aug 16, 2023, 1:50:25 AM (14 months ago)
Author:
ryandesign (Ryan Carsten Schmidt)
Comment:

That's correct. The php port is a stub port which depends on whichever actual php port is the latest stable one. Currently that's php82, which you can see from port deps php. You can use port contents php82 to see what it installed.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #67966

    • Property Owner set to ryandesign
    • Property Status changed from new to assigned

  • Ticket #67966 – Description

    initial v1  
    1 sudo port install php results in a
     1`sudo port install php` results in a
     2{{{
    23sudo port install php
    34--->  Computing dependencies for php
    … …  
    1112--->  No broken files found.
    1213--->  No broken ports found.
     14}}}
    1315When checked it is
     16{{{
    1417port contents php
    1518Port php contains:
    1619  /opt/local/share/doc/php/README
     20}}}
    1721Which is
     22{{{
    1823head /opt/local/share/doc/php/README
    1924php is a stub port
     25}}}