1 | | I do not believe this is happening anymore. w3m is not getting installed for me. Can we close this as fixed? |
2 | | |
3 | | {{{ |
4 | | $ sudo port install boehmgc-devel |
5 | | ---> Fetching distfiles for boehmgc-devel |
6 | | ---> Verifying checksums for boehmgc-devel |
7 | | ---> Extracting boehmgc-devel |
8 | | ---> Configuring boehmgc-devel |
9 | | Error: boehmgc-devel has been replaced by boehmgc; please install that instead. |
10 | | }}} |
11 | | |
12 | | {{{ |
13 | | $ port installed boehmgc |
14 | | The following ports are currently installed: |
15 | | boehmgc @7.6.0_0 (active) |
16 | | }}} |
17 | | |
18 | | {{{ |
19 | | $ port installed w3m |
20 | | None of the specified ports are installed. |
21 | | }}} |