projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e929d2) | patch
dev-haskell/uhc-light: new package, a depend of sci-mathematics/agda-2.5.2
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 15 Feb 2017 22:17:29 +0000 (22:17 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Thu, 16 Feb 2017 10:21:23 +0000 (10:21 +0000)
commit4f70aacacff82814258dba0b253ffbe172157093
tree53358ee5839da97cd618b5f153d55412e213b2b9tree | snapshot
parent7e929d21ac23e96849937f68877b7c80ec54ff60commit | diff
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
dev-haskell/uhc-light/Manifest [new file with mode: 0644] blob
dev-haskell/uhc-light/metadata.xml [new file with mode: 0644] blob
dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.