diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-19 10:02:36 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-19 10:02:36 +0000 |
| commit | 08a30002b09da1257ccc203e62f3d0712aae8d1e (patch) | |
| tree | de75dc21401a9a063d3d2ebedb6fbe748ce6b30a /metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-08a30002b09da1257ccc203e62f3d0712aae8d1e.tar.gz gentoo-08a30002b09da1257ccc203e62f3d0712aae8d1e.tar.bz2 gentoo-08a30002b09da1257ccc203e62f3d0712aae8d1e.zip | |
2021-01-19 10:02:35 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2 b/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2 deleted file mode 100644 index 67ed72035f2b..000000000000 --- a/metadata/md5-cache/sci-mathematics/agda-lib-ffi-0.0.2 +++ /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://www.cse.chalmers.se/~nad/software/lib-0.7.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_=690e01a2b63423cb80b8c6062a386cc0 |