summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2021-11-06 18:36:09 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2021-11-06 18:36:09 +0000
commit73ff932b6a5b14b879419ec447a28b5fe1a2d7d7 (patch)
tree6c85d653c147480aaa79c0be37d0e5f5df64c6f0 /src_prepare-overlay.txt
parent2021-11-06T18:15:01Z (diff)
downloadrepos-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.txt12
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