Tool for automated cleaning of ${prefix}/var/distfiles

[Vincent Habchi]

Le 22 juil. 2013 à 21:36, Jeremy Lavergne <jeremy at lavergne.gotdns.org> a écrit :

> Ah, so you've already uninstalled boost 1.53, hence there is no "outdated" boost installed and the tracking for the file is definitely gone.

Right. My question precisely was: why does ‘port uninstall’ not wipe out also this file during deinstallation? Isn’it supposed to do so?

Vincent