diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-10-26 07:51:13 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-10-26 07:51:13 +0000 |
commit | c7b1714eeed91ff58d506f17caec3102fa5e1c3d (patch) | |
tree | da0f23256ae2bfa0b25519c6e11004f781e83707 /src_prepare-overlay.txt | |
parent | 2021-10-26T07:30:01Z (diff) | |
download | repos-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.txt | 14 |
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 |