diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/gentoo.txt b/gentoo.txt index f6605da60e63..f3d81f50945d 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -18,17 +18,7 @@ WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has u WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing gentoo -From https://anongit.gentoo.org/git/repo/gentoo - 1dfa32063a6..71022330c76 master -> origin/master -Updating 1dfa32063a6..71022330c76 -Fast-forward - sys-apps/bubblewrap/Manifest | 1 + - sys-apps/bubblewrap/bubblewrap-0.3.1-r1.ebuild | 45 ++++++++++++++++++++++ - sys-cluster/openmpi/Manifest | 2 +- - .../{openmpi-3.1.2.ebuild => openmpi-3.1.3.ebuild} | 2 +- - 4 files changed, 48 insertions(+), 2 deletions(-) - create mode 100644 sys-apps/bubblewrap/bubblewrap-0.3.1-r1.ebuild - rename sys-cluster/openmpi/{openmpi-3.1.2.ebuild => openmpi-3.1.3.ebuild} (99%) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |