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 /dev-haskell/uhc-light/Manifest | |
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 'dev-haskell/uhc-light/Manifest')
-rw-r--r-- | dev-haskell/uhc-light/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-haskell/uhc-light/Manifest b/dev-haskell/uhc-light/Manifest new file mode 100644 index 000000000000..6757a8cbfad9 --- /dev/null +++ b/dev-haskell/uhc-light/Manifest @@ -0,0 +1 @@ +DIST uhc-light-1.1.9.5.tar.gz 4546645 SHA256 eabaf3cdac62afb5c8d37f8ceb0997fd85647493d2d4cc1b0d00d954d586681d SHA512 1d31cf2be92689dc0fd989db158623ba36455f33dad70905063cd0849e65cd3f2b78d29a6ed7a943a371e14afc45c95dc552c5a6c64109b192b9ca57cacc7fea WHIRLPOOL fe38131bb100ef2968d2329a921b7fad00a105a7afe0fc0394f425631597765aaa43b763cb1130f68221bb1a6a9f7ffb802d55cf56a5ad11588001d9d5832ff8 |