Kris wrote:
> > Even if there were, I think it's quite obvious that port which has been
> > removed from the ports tree should be deinstalled from user's system,
> > isn't it? BTW, portupgrade notes when there are such kind of ports in
> > the system.
> >
> > I think the proper solution is deinstalling obsolete port (i.e. gnutls-devel
> > in our case) from the system, but not CONFLICTing with dead ports' ghosts.
> > And Porters Handbook doesn't say we should CONFLICT with nonexistent ports.
> >
> > Am I missing something?
>
> The point of CONFLICTS is to prevent two ports from spamming each
> other with the same installed files. That's exactly what would happen
> if someone still has gnutls-devel installed (it was only removed a few
> days ago) and tries to install this one, so it makes perfect sense to
> me that you should keep it there.
Done. But how long should it be kept?
Roman Bogorodskiy
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (FreeBSD)
iQCVAwUBQyQU0IB0WzgdqspGAQLZWwP+K+h5+Yz+D4vxwWUX7rEKHORMLtvMW1SA
WGo1fRHaJJIWoazIJJ9GW05bBc2Jpg8cW//CLtdk6Fe0NsjrlN1S1hJmxCdGMy1Q
BVisPlWFG0DiuR7q7i1Q0AYH0MyfAhk9O3BQDK2sURjX1e1nCDHXMlZGOaaPq1Q0
oHFne5hb808=
=ar9N
-----END PGP SIGNATURE-----