diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-29 17:34:57 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-29 17:34:57 +0000 |
| commit | 8ad26b953b907603551e7762eea6710937f9bedf (patch) | |
| tree | ff9cbf9dd05abdfeaab6bf6feec9494dd4fb4c8e /buzden.txt | |
| parent | 2020-05-29T17:00:01Z (diff) | |
| download | repos-8ad26b953b907603551e7762eea6710937f9bedf.tar.gz repos-8ad26b953b907603551e7762eea6710937f9bedf.tar.bz2 repos-8ad26b953b907603551e7762eea6710937f9bedf.zip | |
2020-05-29T17:30:01Z
Diffstat (limited to 'buzden.txt')
| -rw-r--r-- | buzden.txt | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/buzden.txt b/buzden.txt index 39485efdfc53..9354176dd32a 100644 --- a/buzden.txt +++ b/buzden.txt @@ -13,15 +13,7 @@ {'type': 'git', 'uri': 'git@github.com:buzden/buzden-overlay.git'}], 'status': 'unofficial'} $ pmaint sync buzden -From https://github.com/buzden/buzden-overlay - dda4e31..76b017d master -> origin/master -Updating dda4e31..76b017d -Fast-forward - sci-mathematics/isabelle/Manifest | 2 ++ - sci-mathematics/isabelle/isabelle-2020.ebuild | 33 +++++++++++++++++++++++++++ - 2 files changed, 35 insertions(+) - create mode 100644 sci-mathematics/isabelle/Manifest - create mode 100644 sci-mathematics/isabelle/isabelle-2020.ebuild +Already up to date. *** syncing buzden *** synced buzden * Sync succeeded |