From 8ad26b953b907603551e7762eea6710937f9bedf Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 29 May 2020 17:34:57 +0000 Subject: 2020-05-29T17:30:01Z --- buzden.txt | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'buzden.txt') 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 -- cgit v1.2.3-65-gdbad