tools - Revision 353: /debian/platforms