summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2021-10-26 07:51:13 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2021-10-26 07:51:13 +0000
commitc7b1714eeed91ff58d506f17caec3102fa5e1c3d (patch)
treeda0f23256ae2bfa0b25519c6e11004f781e83707 /src_prepare-overlay.txt
parent2021-10-26T07:30:01Z (diff)
downloadrepos-c7b1714eeed91ff58d506f17caec3102fa5e1c3d.tar.gz
repos-c7b1714eeed91ff58d506f17caec3102fa5e1c3d.tar.bz2
repos-c7b1714eeed91ff58d506f17caec3102fa5e1c3d.zip
2021-10-26T07:45:01Z
Diffstat (limited to 'src_prepare-overlay.txt')
-rw-r--r--src_prepare-overlay.txt14
1 files changed, 1 insertions, 13 deletions
diff --git a/src_prepare-overlay.txt b/src_prepare-overlay.txt
index ce12d927feed..a35face502d3 100644
--- a/src_prepare-overlay.txt
+++ b/src_prepare-overlay.txt
@@ -14,20 +14,8 @@
pkgcore 0.12.7
$ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync src_prepare-overlay
-WARNING:pkgcore:dm9pZCAq repo at '/var/lib/repo-mirror-ci/sync/dm9pZCAq', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
*** syncing src_prepare-overlay
-From https://gitlab.com/src_prepare/src_prepare-overlay
- 83e700c..cadef1c master -> origin/master
-Updating 83e700c..cadef1c
-Fast-forward
- dev-lang/boogie/Manifest | 1 +
- dev-lang/boogie/boogie-2.9.6.ebuild | 64 +++++++++++++++++++++++++++++++++++++
- dev-lang/boogie/metadata.xml | 24 ++++++++++++++
- dev-lang/dafny/dafny-3.3.0.ebuild | 29 +++++++++++------
- 4 files changed, 108 insertions(+), 10 deletions(-)
- create mode 100644 dev-lang/boogie/Manifest
- create mode 100644 dev-lang/boogie/boogie-2.9.6.ebuild
- create mode 100644 dev-lang/boogie/metadata.xml
+Already up to date.
*** synced src_prepare-overlay
* Sync succeeded
$ git log --format=%ci -1