diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-06 18:36:09 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-06 18:36:09 +0000 |
commit | 73ff932b6a5b14b879419ec447a28b5fe1a2d7d7 (patch) | |
tree | 6c85d653c147480aaa79c0be37d0e5f5df64c6f0 /src_prepare-overlay.txt | |
parent | 2021-11-06T18:15:01Z (diff) | |
download | repos-73ff932b6a5b14b879419ec447a28b5fe1a2d7d7.tar.gz repos-73ff932b6a5b14b879419ec447a28b5fe1a2d7d7.tar.bz2 repos-73ff932b6a5b14b879419ec447a28b5fe1a2d7d7.zip |
2021-11-06T18:30:01Z
Diffstat (limited to 'src_prepare-overlay.txt')
-rw-r--r-- | src_prepare-overlay.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src_prepare-overlay.txt b/src_prepare-overlay.txt index a35face502d3..0d1020d2e3fc 100644 --- a/src_prepare-overlay.txt +++ b/src_prepare-overlay.txt @@ -15,7 +15,17 @@ pkgcore 0.12.7 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync src_prepare-overlay *** syncing src_prepare-overlay -Already up to date. +From https://gitlab.com/src_prepare/src_prepare-overlay + c353ee9..5b2e28e master -> origin/master +Updating c353ee9..5b2e28e +Fast-forward + sci-mathematics/isabelle-bin/Manifest | 1 + + .../isabelle-bin/isabelle-bin-2021.ebuild | 50 ++++++++++++++++++++++ + sci-mathematics/isabelle-bin/metadata.xml | 14 ++++++ + 3 files changed, 65 insertions(+) + create mode 100644 sci-mathematics/isabelle-bin/Manifest + create mode 100644 sci-mathematics/isabelle-bin/isabelle-bin-2021.ebuild + create mode 100644 sci-mathematics/isabelle-bin/metadata.xml *** synced src_prepare-overlay * Sync succeeded $ git log --format=%ci -1 |