diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2-r2')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2-r2 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2-r2 b/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2-r2 deleted file mode 100644 index e2816d14bde3..000000000000 --- a/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2-r2 +++ /dev/null @@ -1,12 +0,0 @@ -DEFINED_PHASES=compile configure install postinst postrm prepare setup test -DEPEND=>=dev-lang/ghc-6.10.4:= >=dev-haskell/cabal-1.8 -DESCRIPTION=Auxiliary Haskell code used by Agda's standard library -EAPI=5 -HOMEPAGE=https://wiki.portal.chalmers.se/agda/ -KEYWORDS=~amd64 ~x86 -LICENSE=MIT -RDEPEND=>=dev-lang/ghc-6.10.4:= -SLOT=0/0.0.2 -SRC_URI=https://github.com/agda/agda-stdlib/archive/2.4.2.3.tar.gz -> agda-stdlib-2.4.2.3.tar.gz -_eclasses_=desktop 7fd20552ce4cc97e8acb132a499a7dd8 eapi7-ver f9ec87e93172b25ce65a85303dc06964 edos2unix 33e347e171066657f91f8b0c72ec8773 epatch e8f1ec13660dc2f44b32775765d85e42 estack 055c42df72f76a4f45ec92b35e83cd56 eutils 2d5b3f4b315094768576b6799e4f926e ghc-package e3a4a688accbd5f1226e46b379cc1c3e haskell-cabal f2babbc5251b22d1c1811b67f7fb8ad1 l10n 8cdd85e169b835d518bc2fd59f780d8e ltprune 4f3f2db5ce3ccbeeacdf3f94954043aa multilib d410501a125f99ffb560b0c523cd3d1e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs 1a94dc06d324bd0dab754e11abe6d27e vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf wrapper 4251d4c84c25f59094fd557e0063a974 -_md5_=40c6fa6c8ad00c7dee40c9a08bbc70dc |