From fe3741f64553d9a95c9685d296cba2de5d31dd8c Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Thu, 28 May 2020 07:05:05 +0000 Subject: 2020-05-28T07:00:01Z --- haskell.txt | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'haskell.txt') diff --git a/haskell.txt b/haskell.txt index d3189000c3dc..70865ef644cb 100644 --- a/haskell.txt +++ b/haskell.txt @@ -12,14 +12,7 @@ 'uri': 'https://github.com/gentoo-haskell/gentoo-haskell.git'}], 'status': 'official'} $ pmaint sync haskell -From https://github.com/gentoo-haskell/gentoo-haskell - 0e3808d0c..8efb6bd59 master -> origin/master -Updating 0e3808d0c..8efb6bd59 -Fast-forward - dev-lang/idris/idris-1.3.2.ebuild | 6 ++- - dev-lang/idris/idris-9999.ebuild | 92 --------------------------------------- - 2 files changed, 4 insertions(+), 94 deletions(-) - delete mode 100644 dev-lang/idris/idris-9999.ebuild +Already up to date. *** syncing haskell *** synced haskell * Sync succeeded -- cgit v1.2.3-65-gdbad