Alex Efros [Sun, 12 Feb 2017 17:49:48 +0000 (19:49 +0200)]
net-proxy/3proxy: sort KEYWORDS, cleanup CFLAGS
Package-Manager: portage-2.3.3
Marco Genasci [Wed, 1 Feb 2017 09:23:49 +0000 (10:23 +0100)]
app-emulation/genymotion-bin: Add bindist restriction bug #516448
Package-Manager: Portage-2.3.3
Signed-off-by: Ettore Di Giacinto <mudler@gentoo.org>
Ettore Di Giacinto [Thu, 16 Feb 2017 10:03:33 +0000 (11:03 +0100)]
profiles: Drop mask for app-admin/calamares on non-systemd profiles
Ettore Di Giacinto [Thu, 16 Feb 2017 10:02:10 +0000 (11:02 +0100)]
profiles: Drop mask for app-admin/calamares on non-systemd profiles
Ettore Di Giacinto [Thu, 16 Feb 2017 09:54:03 +0000 (10:54 +0100)]
app-admin/calamares: add myself to maintainers
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:25:51 +0000 (10:25 +0000)]
dev-haskell/constraints: bump up to 0.8
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:23:40 +0000 (10:23 +0000)]
dev-haskell/th-expand-syns: bump up to 0.4.2.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Agostino Sarubbo [Thu, 16 Feb 2017 10:25:57 +0000 (11:25 +0100)]
app-crypt/ccrypt: amd64 stable wrt bug #609372
Package-Manager: portage-2.3.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo [Thu, 16 Feb 2017 10:25:51 +0000 (11:25 +0100)]
kde-plasma/plasma-desktop: amd64 stable wrt bug #609404
Package-Manager: portage-2.3.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo [Thu, 16 Feb 2017 10:24:41 +0000 (11:24 +0100)]
app-misc/scrub: amd64 stable wrt bug #609480
Package-Manager: portage-2.3.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Andreas K. Hüttel [Thu, 16 Feb 2017 10:22:08 +0000 (11:22 +0100)]
net-print/cups-filters: Fix what I broke. Bug 609256
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:16:39 +0000 (10:16 +0000)]
dev-haskell/terminfo: allow ghc-8
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:13:06 +0000 (10:13 +0000)]
dev-haskell/deepseq-generics: bump up to 0.2.0.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:07:34 +0000 (10:07 +0000)]
dev-haskell/async: bump up to 2.1.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 10:05:51 +0000 (10:05 +0000)]
dev-haskell/memory: bump up to 0.14.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 09:58:40 +0000 (09:58 +0000)]
dev-haskell/glob: bump up to 0.7.14
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 09:07:25 +0000 (09:07 +0000)]
dev-haskell/uuid-types: allow quickcheck-2.9
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 09:06:56 +0000 (09:06 +0000)]
dev-haskell/vector: bump up to 0.11.0.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 09:04:08 +0000 (09:04 +0000)]
dev-haskell/dlist: bump up to 0.8.0.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:57:38 +0000 (08:57 +0000)]
dev-haskell/unix-compat: added missing patch
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:50:40 +0000 (08:50 +0000)]
dev-haskell/chasingbottoms: bump up to 1.3.1.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:47:00 +0000 (08:47 +0000)]
dev-haskell/esqueleto: bump up to 2.4.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:45:40 +0000 (08:45 +0000)]
dev-haskell/persistent-template: bump up to 2.5.1.6
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:45:16 +0000 (08:45 +0000)]
dev-haskell/aeson-compat: new package, a depend of dev-haskell/persistent-template-2.5.1.2
Compatibility layer for aeson
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:44:13 +0000 (08:44 +0000)]
dev-haskell/persistent-sqlite: bump up to 2.6
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:43:06 +0000 (08:43 +0000)]
dev-haskell/persistent: bump up to 2.6
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:42:49 +0000 (08:42 +0000)]
dev-haskell/http-api-data: new package, a depend of dev-haskell/persistent-2.6
Converting to/from HTTP API data like URL pieces, headers and query parameters
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:42:13 +0000 (08:42 +0000)]
dev-haskell/quickcheck: bump up to 2.9.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:41:13 +0000 (08:41 +0000)]
dev-haskell/text-show: new package, a depend of dev-haskell/persistent-2.6
Efficient conversion of values into Text
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:40:41 +0000 (08:40 +0000)]
dev-haskell/deriving-compat: new package, a depend of dev-haskell/persistent-2.6
Backports of GHC deriving extensions
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:39:21 +0000 (08:39 +0000)]
dev-haskell/uri-bytestring: new package, a depend of dev-haskell/persistent-2.6
Haskell URI parsing as ByteStrings
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:38:38 +0000 (08:38 +0000)]
dev-haskell/generics-sop: new package, a depend of dev-haskell/persistent-2.6
Generic Programming using True Sums of Products
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:37:49 +0000 (08:37 +0000)]
dev-haskell/lens-simple: new package, a depend of dev-haskell/persistent-2.6
simplified import of elementary lens-family combinators
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:37:25 +0000 (08:37 +0000)]
dev-haskell/lens-family-th: new package, a depend of dev-haskell/persistent-2.6
Generate lens-family style lenses
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:36:58 +0000 (08:36 +0000)]
dev-haskell/lens-family: new package, a depend of dev-haskell/persistent-2.6
Lens Families
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Thu, 16 Feb 2017 08:36:18 +0000 (08:36 +0000)]
dev-haskell/lens-family-core: new package, a depend of dev-haskell/persistent-2.6
Haskell 98 Lens Families
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:27:48 +0000 (23:27 +0000)]
dev-haskell/glut: bump up to 2.7.0.11
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:27:27 +0000 (23:27 +0000)]
dev-haskell/opengl: bump up to 3.0.1.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:27:10 +0000 (23:27 +0000)]
dev-haskell/gluraw: bump up to 2.0.0.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:26:25 +0000 (23:26 +0000)]
dev-haskell/openglraw: bump up to 3.2.4.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:25:51 +0000 (23:25 +0000)]
dev-haskell/half: new package for dev-haskell/openglraw-3.2.4.0
Half-precision floating-point
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:25:16 +0000 (23:25 +0000)]
dev-haskell/fixed: new package for dev-haskell/openglraw-3.2.4.0
Signed 15.16 precision fixed point arithmetic
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:23:58 +0000 (23:23 +0000)]
dev-haskell/contravariant: bump up to 1.4
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:22:42 +0000 (23:22 +0000)]
dev-haskell/openal: bump up to 1.7.0.4
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:20:28 +0000 (23:20 +0000)]
dev-haskell/aws: bump up to 0.14.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:20:06 +0000 (23:20 +0000)]
dev-haskell/errors: bump up to 2.1.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:19:53 +0000 (23:19 +0000)]
dev-haskell/unexceptionalio: new package, a depend of dev-haskell/errors-2.1.3
IO without any non-error, synchronous exceptions
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:16:26 +0000 (23:16 +0000)]
dev-haskell/lens: bump up to 4.14
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:15:30 +0000 (23:15 +0000)]
dev-haskell/reflection: bump up to 2.1.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:14:28 +0000 (23:14 +0000)]
dev-haskell/keys: bump up to 3.11
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:13:44 +0000 (23:13 +0000)]
dev-haskell/pointed: bump up to 5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:12:39 +0000 (23:12 +0000)]
dev-haskell/kan-extensions: bump up to 5.0.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:11:32 +0000 (23:11 +0000)]
dev-haskell/comonad: bump up to 5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:11:05 +0000 (23:11 +0000)]
dev-haskell/adjunctions: bump up to 4.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:10:41 +0000 (23:10 +0000)]
dev-haskell/distributive: bump up to 0.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:10:26 +0000 (23:10 +0000)]
dev-haskell/generic-deriving: bump up to 1.11.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:09:39 +0000 (23:09 +0000)]
dev-haskell/cabal-doctest: new package, a depend of dev-haskell/distributive-0.5.2
A Setup.hs helper for doctests running
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:08:31 +0000 (23:08 +0000)]
dev-haskell/doctest: bump up to 0.11.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:08:09 +0000 (23:08 +0000)]
dev-haskell/with-location: new package, a depend of doctest-0.11.1
Use ImplicitParams-based source locations in a backward compatible way
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:07:02 +0000 (23:07 +0000)]
dev-haskell/code-page: new package, a depend of doctests-0.11.1
Windows code page library for Haskell
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:03:34 +0000 (23:03 +0000)]
dev-haskell/profunctors: bump up to 5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:03:16 +0000 (23:03 +0000)]
dev-haskell/bifunctors: bump up to 5.4.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:02:09 +0000 (23:02 +0000)]
dev-haskell/graphviz: bump up to 2999.18.1.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:01:40 +0000 (23:01 +0000)]
dev-haskell/haskeline: bump up to 0.7.2.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 23:00:44 +0000 (23:00 +0000)]
sci-mathematics/z3: workaround configure failure on non-ASCII
On my LANG=ru_RU.UTF-8 locale configure step fails as:
File "scripts/mk_make.py", line 21, in <module>
...
UnicodeEncodeError: 'ascii' codec can't encode characters in position 80-82: ordinal not in range(128)
Workaround configure breakage by stabilising locale.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:59:02 +0000 (22:59 +0000)]
dev-haskell/foldl: bump up to 1.2.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:58:26 +0000 (22:58 +0000)]
dev-haskell/crypto-conduit: allow ghc-8
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:56:10 +0000 (22:56 +0000)]
dev-haskell/monad-journal: bump up to 0.7.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:52:21 +0000 (22:52 +0000)]
dev-haskell/mmorph: bump up to 1.0.9
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:51:50 +0000 (22:51 +0000)]
dev-haskell/psqueues: bump up to 0.2.2.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:49:47 +0000 (22:49 +0000)]
dev-haskell/readargs: bump up to 1.2.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:49:19 +0000 (22:49 +0000)]
dev-haskell/unix-compat: bump up to 0.4.3.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:46:17 +0000 (22:46 +0000)]
dev-haskell/wl-pprint-text: bump up to 1.1.1.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:45:57 +0000 (22:45 +0000)]
dev-haskell/base-compat: bump up to 0.9.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:44:00 +0000 (22:44 +0000)]
dev-haskell/torrent: bump up to 10000.0.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:41:21 +0000 (22:41 +0000)]
dev-haskell/reducers: allow ghc-8
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:40:17 +0000 (22:40 +0000)]
dev-haskell/warp-tls: bump up to 3.2.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:39:55 +0000 (22:39 +0000)]
dev-haskell/tls: bump up to 1.3.9
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:38:41 +0000 (22:38 +0000)]
dev-haskell/x509-system: bump up to 1.6.4
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:38:25 +0000 (22:38 +0000)]
dev-haskell/x509-store: bump up to 1.6.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:38:09 +0000 (22:38 +0000)]
dev-haskell/x509: bump up to 1.6.5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:37:48 +0000 (22:37 +0000)]
dev-haskell/x509-validation: bump up to 1.6.5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:37:10 +0000 (22:37 +0000)]
dev-haskell/cryptonite: bump up to 0.21
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:35:07 +0000 (22:35 +0000)]
dev-haskell/optparse-applicative: bump up to 0.13.0.0
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:34:21 +0000 (22:34 +0000)]
dev-haskell/semigroupoids: bump up to 5.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:33:23 +0000 (22:33 +0000)]
www-apps/gitit: bump up to 0.12.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:29:09 +0000 (22:29 +0000)]
dev-haskell/warp: bump up to 3.2.11
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:28:54 +0000 (22:28 +0000)]
dev-haskell/http2: bump up to 1.6.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:27:33 +0000 (22:27 +0000)]
app-text/pandoc: bump up to 1.18
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:27:07 +0000 (22:27 +0000)]
dev-haskell/http-client: bump up to 0.4.30
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:26:28 +0000 (22:26 +0000)]
dev-haskell/cmark: bump up to 0.5.5
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:24:01 +0000 (22:24 +0000)]
dev-haskell/doctemplates: new package, a depend of pandoc-1.18
Pandoc-style document templates
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:23:07 +0000 (22:23 +0000)]
dev-haskell/pandoc-types: bump up to 1.17.0.4
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:22:53 +0000 (22:22 +0000)]
dev-haskell/string-qq: new package, a depend of pandoc-1.18
QuasiQuoter for non-interpolated strings, texts and bytestrings
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:20:57 +0000 (22:20 +0000)]
dev-haskell/transformers-compat: bump up to 0.5.1.4
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:20:01 +0000 (22:20 +0000)]
sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:18:19 +0000 (22:18 +0000)]
sci-mathematics/agda: bump up to 2.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:17:29 +0000 (22:17 +0000)]
dev-haskell/uhc-light: new package, a depend of sci-mathematics/agda-2.5.2
Part of UHC packaged as cabal/hackage installable library
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:15:13 +0000 (22:15 +0000)]
dev-haskell/shuffle: new package, a depend of sci-mathematics/agda-2.5.2
Shuffle tool for UHC
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Sergei Trofimovich [Wed, 15 Feb 2017 22:14:45 +0000 (22:14 +0000)]
dev-haskell/uhc-util: new package, a depend of sci-mathematics/agda-2.5.2
UHC utilities
Package-Manager: Portage-2.3.3, Repoman-2.3.1