Files
guru/sci-mathematics/frama-c-slicing/metadata.xml