diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /sci-mathematics/agda-lib-ffi | |
reinit the tree, so we can have metadata
Diffstat (limited to 'sci-mathematics/agda-lib-ffi')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 7 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 35 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild | 33 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/metadata.xml | 14 |
4 files changed, 89 insertions, 0 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest new file mode 100644 index 000000000000..44d6a7b0b245 --- /dev/null +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -0,0 +1,7 @@ +DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf +DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536 +EBUILD agda-lib-ffi-0.0.2-r2.ebuild 733 SHA256 b2c2291fcf1e77c4eed8cb686bb4d8f43eb7971293da82ed4e556ea60ef189c9 SHA512 92182ff0f4ff71d3d6f67b2a01dd7a066d21a4c6054b3bd9e4333ed04741b781dc59b8e8e72a5a73b7d3e0e181b93adeb5f3f093ad746a243f38a01bdffdaec1 WHIRLPOOL 575baca9f51faf0712570d92086d1fc53154fc523d367d9c2b7485dbf1ec9f45063cf6c13cb614aeba18f0923c5596d54c52180e485840b3b1d76bba6535aa88 +EBUILD agda-lib-ffi-0.0.2.ebuild 656 SHA256 699897007bce45ad5e7053c66561bc7f9048a4fcd085a19a6b57b92c8578345e SHA512 08e7debee9a5de4091376447e0aa09186c37878bd745cc6bf96d838f08e442b1b06125fa42c9c9e3e9f4133a4480a8add95fdd69c3938b4807b6238eb7a32140 WHIRLPOOL 1f4275673cdc808c2d2e440fd56db244785c0ed0776f5b87a9accaf03e9c416b2cc346a05788770c28c4c55c69d6afc426a4ec929e94be0a99e899ebe6a3eea7 +MISC ChangeLog 2667 SHA256 c27ef5495c17d1fc2f4100bc99dee02689c4923ff51ac23ff0339655942fabe3 SHA512 134e7cede68c9eda902d2d70fd5d6f84b5af45f13acb6b3dd08d9b8784ed4b365859eb9ac802485f70b771d3e22653ff50f676eae6ebda4ad9dbd42658194bfb WHIRLPOOL fed1d125fab253050c482392d14afc42eef24b0dbfa435751b8eb31c7480eca3c96de27c7669431a86a4c8fcc569495a4bca4fe2404c956e8970059e762e4d00 +MISC ChangeLog-2015 820 SHA256 a1856b3a4dac67c6d6ff50e3683b98ec0d7ca5951d59738dcae1887082ecad1e SHA512 6cca223a64c52c62fe358eb4fb2bbedaccca589e408372cbe797e3ad0079f268d3b27473f8e7e665e6fdc0e1334a04c13e673fd3fd0097b073d6b80b8f66a30c WHIRLPOOL eaad564045dc8a3c8a0fb6b4c85283aea4fcce948b4dc1eb12fa23106788da399a893394b8a63fe2e44201cd6e7616238fd991729d524e28f587224bff370455 +MISC metadata.xml 427 SHA256 3a5e586e7e761960a08899a6debd1af5b6e4f8cad19ca5b9ae5fde98d64008e5 SHA512 5dcdfd777392fbc8d215e263cf2ef8be706ebb4790bc79f551d19f25bd061a144751b5c4ee39b75cd974fd996239c70a9ca14bcacd512503d0189dec98faf30f WHIRLPOOL f93338bd8db6cfe7a8c32265e086cfe0fceaa39d634d6e1c4a39597bc302e8b1b62ec944ea15f39b77383e3b61ac787de984fc44e144b7523182416f1ed65246 diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild new file mode 100644 index 000000000000..44bf12e940e8 --- /dev/null +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +# ebuild generated by hackport 0.3.5 + +CABAL_FEATURES="lib" +inherit haskell-cabal + +AGDA_PN="agda-stdlib" +AGDA_PV="2.4.2.3" +AGDA_P="${AGDA_PN}-${AGDA_PV}" + +DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" +HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${AGDA_P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND=">=dev-lang/ghc-6.10.4:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.8 +" + +S="${WORKDIR}/${AGDA_P}/ffi" + +src_prepare() { + cabal_chdeps \ + 'base >= 4.5.0.0 && < 4.9' 'base >= 4.5.0.0' +} diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild new file mode 100644 index 000000000000..6b8ed5ad076c --- /dev/null +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +# ebuild generated by hackport 0.3.5 + +CABAL_FEATURES="lib" +inherit haskell-cabal + +AGDA_P="lib-0.7" + +DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" +HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +SRC_URI="http://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND=">=dev-lang/ghc-6.10.4:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.8 +" + +S="${WORKDIR}/${AGDA_P}/ffi" + +src_prepare() { + cabal_chdeps \ + 'base >= 3.0.3.1 && < 4.7' 'base >= 3.0.3.1' +} diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml new file mode 100644 index 000000000000..adc5490ee507 --- /dev/null +++ b/sci-mathematics/agda-lib-ffi/metadata.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> + </maintainer> + <longdescription> + Auxiliary Haskell code used by Agda's standard library. + </longdescription> + <upstream> + <remote-id type="github">agda/agda-stdlib</remote-id> + </upstream> +</pkgmetadata> |