[Pkg-openmpi-maintainers] Bug#502232: Bug#502232: Bug#502232: Bug#502232: Bug#502232: Bug#502232: libopenmpi-dev: No static libraries in the package

Wed Oct 15 14:15:50 UTC 2008

On 15 October 2008 at 08:43, Dirk Eddelbuettel wrote:
| We had request by a Gary from Sandia about providing static libs, which we

Yeepers. Not sure how that pejorative 'a' landed in there. My apologies to Gary!   

Dirk, who promises to (eventually) start to edit his posts before sending ...

-- 
Three out of two people have difficulties with fractions.