diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-15 22:17:29 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-16 10:21:23 +0000 |
| commit | 4f70aacacff82814258dba0b253ffbe172157093 (patch) | |
| tree | 53358ee5839da97cd618b5f153d55412e213b2b9 /sci-mathematics | |
| parent | dev-haskell/shuffle: new package, a depend of sci-mathematics/agda-2.5.2 (diff) | |
| download | gentoo-4f70aacacff82814258dba0b253ffbe172157093.tar.gz gentoo-4f70aacacff82814258dba0b253ffbe172157093.tar.bz2 gentoo-4f70aacacff82814258dba0b253ffbe172157093.zip | |
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
Diffstat (limited to 'sci-mathematics')
0 files changed, 0 insertions, 0 deletions