[Debian] me manque libmpi.a

Bonjour,
Je dois installer libmpi.a, est ce que quelqu'un sait à partir de quelle source ça s'installe ?
Merci!

1 réponse