A new user interface for you! Read more...

File _service of Package libopenmpi-dev

<services>
  <service name="download_url">
    <param name="host">archive.ubuntu.com</param>
    <param name="protocol">http</param>
    <param name="path">/ubuntu/pool/universe/o/openmpi/openmpi_1.4.5-1ubuntu1.dsc</param>
  </service>

  <service name="download_url">
    <param name="host">archive.ubuntu.com</param>
    <param name="protocol">http</param>
    <param name="path">/ubuntu/pool/universe/o/openmpi/openmpi_1.4.5.orig.tar.gz</param>
  </service>

  <service name="download_url">
    <param name="host">archive.ubuntu.com</param>
    <param name="protocol">http</param>
    <param name="path">/ubuntu/pool/universe/o/openmpi/openmpi_1.4.5-1ubuntu1.debian.tar.gz</param>
  </service>

</services>