diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index 443fcab0c7e4..b51459766db2 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,14 @@ pkgcore 0.12.24 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + 1562dd8f2140..06210ffc7e68 master -> origin/master +Updating 1562dd8f2140..06210ffc7e68 +Fast-forward + dev-ml/ppx_deriving_yojson/Manifest | 1 + + .../ppx_deriving_yojson-3.8.0.ebuild | 24 ++++++++++++++++++++++ + 2 files changed, 25 insertions(+) + create mode 100644 dev-ml/ppx_deriving_yojson/ppx_deriving_yojson-3.8.0.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |