projects
/
openmpi.git
/ log
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
| log |
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next ⋅
patches
openmpi.git
6 years ago
Import openmpi_3.1.3-10.debian.tar.xz
commit
|
commitdiff
|
tree
Alastair McKinstry
[
Sun, 20 Jan 2019 13:12:03 +0000
(13:12 +0000)]
Import openmpi_3.1.3-10.debian.tar.xz
[dgit import tarball openmpi 3.1.3-10 openmpi_3.1.3-10.debian.tar.xz]