P LNFhets-server	Heterogeneous Tool Set - server
P LNFhets-provers	Heterogeneous Tool Set - provers
P LNFtl-latex	TeXLive LaTeX fundamentals
P LNFtl-fonts	TeXLive recommended fonts
P LNFtl-utils	TeXLive misc. utilities and macros
P LNFpellet	OWL DL reasoner Pellet