diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gentoo.txt b/gentoo.txt index 2ac367c58f9a..c22149efe889 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,14 +15,7 @@ pkgcore 0.12.28 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -From https://github.com/gentoo/gentoo - 6463bc79f49c..9ed530debc43 master -> origin/master -Updating 6463bc79f49c..9ed530debc43 -Fast-forward - sci-mathematics/why3/Manifest | 1 + - sci-mathematics/why3/why3-1.7.2.ebuild | 107 +++++++++++++++++++++++++++++++++ - 2 files changed, 108 insertions(+) - create mode 100644 sci-mathematics/why3/why3-1.7.2.ebuild +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |