Re: [OctDev] openmpi_ext 1.1.0

[Sébastien V. <seb...@en...>]

Sukanta Basu <suk...@gm...> writes:

>>> The next release of Ubuntu will happen in October and will include
>>> 3.6.2. I will probably wait for this release.

Note that the next release of Ubuntu will also include openmpi_ext
1.0.2, since I recently added it into Debian.

-- 
 .''`.    Sébastien Villemot
: :' :    Debian Maintainer
`. `'     http://www.dynare.org/sebastien
  `-      GPG Key: 4096R/381A7594