1. 2018-06-13 Re: PortGroup vs. Portfile search strategy macports- René_J.V. Bertin 2. 2018-06-13 Re: PortGroup vs. Portfile search strategy macports- René_J.V. Bertin 3. 2018-06-13 Re: PortGroup vs. Portfile search strategy macports- René_J.V. Bertin 4. 2018-06-13 Re: PortGroup vs. Portfile search strategy macports- Rainer_Müller 5. 2018-06-12 Re: PortGroup vs. Portfile search strategy macports- Rainer_Müller 6. 2018-06-12 PortGroup vs. Portfile search strategy macports- René_J.V. Bertin