summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-05-28 07:05:05 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-05-28 07:05:05 +0000
commitfe3741f64553d9a95c9685d296cba2de5d31dd8c (patch)
treecd908218a2b95b0df766d34fe4a1594b02090bbe /haskell.txt
parent2020-05-28T06:30:01Z (diff)
downloadrepos-fe3741f64553d9a95c9685d296cba2de5d31dd8c.tar.gz
repos-fe3741f64553d9a95c9685d296cba2de5d31dd8c.tar.bz2
repos-fe3741f64553d9a95c9685d296cba2de5d31dd8c.zip
2020-05-28T07:00:01Z
Diffstat (limited to 'haskell.txt')
-rw-r--r--haskell.txt9
1 files changed, 1 insertions, 8 deletions
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