diff options
Diffstat (limited to 'science.txt')
-rw-r--r-- | science.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/science.txt b/science.txt index 7126ab74165e..f6504703100d 100644 --- a/science.txt +++ b/science.txt @@ -21,16 +21,7 @@ WARNING:pkgcore:repo at '/home/mgorny/sync/hanno', named 'hanno', doesn't specif WARNING:pkgcore:repo at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set -From git://anongit.gentoo.org/proj/sci - 55fd9df6a..b1521a460 master -> origin/master -Updating 55fd9df6a..b1521a460 -Fast-forward - sys-cluster/openmpi/Manifest | 3 +- - ...nmpi-1.10.3-r2.ebuild => openmpi-1.10.6.ebuild} | 2 +- - sys-cluster/openmpi/openmpi-2.1.0.ebuild | 174 +++++++++++++++++++++ - 3 files changed, 177 insertions(+), 2 deletions(-) - rename sys-cluster/openmpi/{openmpi-1.10.3-r2.ebuild => openmpi-1.10.6.ebuild} (99%) - create mode 100644 sys-cluster/openmpi/openmpi-2.1.0.ebuild +Already up-to-date. *** syncing science *** synced science * Sync succeeded |