diff options
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 |