diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-07-16 23:06:43 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-07-16 23:06:43 +0000 |
commit | 10cc9bdff04d30a17613c70e00dbc3a9cc3411d1 (patch) | |
tree | 472ed96882c4101f81f4383cbf0a09c40ff86f38 /sage-on-gentoo.txt | |
parent | 2019-07-16T22:20:01Z (diff) | |
download | repos-10cc9bdff04d30a17613c70e00dbc3a9cc3411d1.tar.gz repos-10cc9bdff04d30a17613c70e00dbc3a9cc3411d1.tar.bz2 repos-10cc9bdff04d30a17613c70e00dbc3a9cc3411d1.zip |
2019-07-16T23:00:01Z
Diffstat (limited to 'sage-on-gentoo.txt')
-rw-r--r-- | sage-on-gentoo.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/sage-on-gentoo.txt b/sage-on-gentoo.txt index 0b575f41fa5a..ccabd26c834a 100644 --- a/sage-on-gentoo.txt +++ b/sage-on-gentoo.txt @@ -16,7 +16,15 @@ WARNING:pkgcore:EAPI '7' isn't fully supported WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'beatussum-overlay' repo at '/var/lib/repo-mirror-ci/sync/beatussum-overlay' has unsupported profile format: profile-default-eapi -Already up to date. +From git://github.com/cschwan/sage-on-gentoo + 8e7a22ba..71896607 master -> origin/master + d5346814..9798dee7 vbraun -> origin/vbraun +Updating 8e7a22ba..71896607 +Fast-forward + .../sage/files/sage-8.9-introspection.patch | 52 ---------------------- + sci-mathematics/sage/sage-9999.ebuild | 8 +--- + 2 files changed, 2 insertions(+), 58 deletions(-) + delete mode 100644 sci-mathematics/sage/files/sage-8.9-introspection.patch *** syncing sage-on-gentoo *** synced sage-on-gentoo * Sync succeeded |