mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-23 05:53:12 -04:00
Code Issues Packages Projects Releases Wiki Activity

2021-12-01 19:51:26 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2021-12-01 19:51:26 +00:00
parent d4b051b40a
commit ae1b49ae79
104 changed files with 406 additions and 915 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
metadata/md5-cache/dev-lang/arc-3.2-r1
View File

@@ -1,13 +0,0 @@
DEFINED_PHASES=compile install
DEPEND=dev-scheme/racket
DESCRIPTION=New dialect of Lisp, works well for basic web apps
EAPI=8
HOMEPAGE=http://www.arclanguage.org/
INHERIT=wrapper
KEYWORDS=~amd64
LICENSE=Artistic-2
RDEPEND=dev-scheme/racket
SLOT=0
SRC_URI=http://www.arclanguage.org/arc3.2.tar -> arc-3.2.tar
_eclasses_=wrapper 4251d4c84c25f59094fd557e0063a974
_md5_=1d74ece3d01af8691aeb0ee7fc983bf2

11
metadata/md5-cache/dev-lang/clips-6.40
View File

@@ -1,11 +0,0 @@
DEFINED_PHASES=compile install prepare
DESCRIPTION=Tool for building Expert Systems (native version)
EAPI=8
HOMEPAGE=http://www.clipsrules.net/
INHERIT=toolchain-funcs
KEYWORDS=~amd64
LICENSE=public-domain
SLOT=0
SRC_URI=https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_core_source_640.tar.gz -> clips-6.40.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988
_md5_=79ac1c4a1e5f83e4ae7c8992d616fb04

14
metadata/md5-cache/dev-lang/clipsjni-6.40
View File

@@ -1,14 +0,0 @@
DEFINED_PHASES=compile install postinst postrm preinst prepare setup
DEPEND=>=virtual/jdk-1.8:* dev-util/desktop-file-utils x11-misc/shared-mime-info >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
DESCRIPTION=Tool for building Expert Systems (Java version)
EAPI=7
HOMEPAGE=http://www.clipsrules.net/
INHERIT=desktop toolchain-funcs xdg java-pkg-2
IUSE=examples elibc_FreeBSD source
KEYWORDS=~amd64
LICENSE=public-domain
RDEPEND=>=virtual/jre-1.8:* >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
SLOT=0
SRC_URI=https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_jni_640.tar.gz -> clipsjni-6.40.tar.gz
_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 xdg 6024fbc93167fad782e2032933654857 java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 java-pkg-2 a3d583b3f640032c3eff643a4191bd03
_md5_=10b4b48a39945b2a8d74d4b266af86b0

16
metadata/md5-cache/dev-lang/fennel-0.10.0
View File

@@ -1,16 +0,0 @@
BDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
DEFINED_PHASES=install setup
DEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
DESCRIPTION=Fennel is a lisp that compiles to Lua
EAPI=7
HOMEPAGE=https://fennel-lang.org/
INHERIT=lua-single
IUSE=lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
REQUIRED_USE=^^ ( lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4 )
SLOT=0
SRC_URI=https://git.sr.ht/~technomancy/fennel/archive/0.10.0.tar.gz -> fennel-0.10.0.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 lua-utils 7b7cd623ac8b9dd4a7a6ee27219cada6 lua-single ba92a0c9d413e015c6625cdb0b9aaf99
_md5_=38162c4482e001f6adc87e0ce8925989

16
metadata/md5-cache/dev-lang/fennel-0.9.2
View File

@@ -1,16 +0,0 @@
BDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
DEFINED_PHASES=install setup
DEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
DESCRIPTION=Fennel is a lisp that compiles to Lua
EAPI=7
HOMEPAGE=https://fennel-lang.org/
INHERIT=lua-single
IUSE=lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
REQUIRED_USE=^^ ( lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4 )
SLOT=0
SRC_URI=https://git.sr.ht/~technomancy/fennel/archive/0.9.2.tar.gz -> fennel-0.9.2.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 lua-utils 7b7cd623ac8b9dd4a7a6ee27219cada6 lua-single ba92a0c9d413e015c6625cdb0b9aaf99
_md5_=38162c4482e001f6adc87e0ce8925989

15
metadata/md5-cache/dev-lang/fennel-9999
View File

@@ -1,15 +0,0 @@
BDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=install setup unpack
DEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
DESCRIPTION=Fennel is a lisp that compiles to Lua
EAPI=7
HOMEPAGE=https://fennel-lang.org/
INHERIT=lua-single git-r3
IUSE=lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4
LICENSE=MIT
PROPERTIES=live
RDEPEND=lua_single_target_luajit? ( dev-lang/luajit:= ) lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 )
REQUIRED_USE=^^ ( lua_single_target_luajit lua_single_target_lua5-3 lua_single_target_lua5-4 )
SLOT=0
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 lua-utils 7b7cd623ac8b9dd4a7a6ee27219cada6 lua-single ba92a0c9d413e015c6625cdb0b9aaf99 git-r3 cc875b0c1e9b3bdac1af0f82f3ba29da
_md5_=38162c4482e001f6adc87e0ce8925989

16
metadata/md5-cache/dev-lang/idris2-0.5.1
View File

@@ -1,16 +0,0 @@
BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez dev-scheme/racket net-libs/nodejs )
DEFINED_PHASES=compile configure install prepare test
DEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
DESCRIPTION=Purely functional programming language with first class types
EAPI=8
HOMEPAGE=https://github.com/idris-lang/Idris2/
INHERIT=toolchain-funcs xdg-utils
IUSE=+chez doc racket test-full
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
REQUIRED_USE=^^ ( chez racket )
SLOT=0
SRC_URI=https://github.com/idris-lang/Idris2/archive/refs/tags/v0.5.1.tar.gz -> idris2-0.5.1.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31
_md5_=41db06983904ee60bc0df86a64347a42

16
metadata/md5-cache/dev-lang/idris2-0.5.1_p20211112
View File

@@ -1,16 +0,0 @@
BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez dev-scheme/racket net-libs/nodejs )
DEFINED_PHASES=compile configure install prepare test
DEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
DESCRIPTION=Purely functional programming language with first class types
EAPI=8
HOMEPAGE=https://github.com/idris-lang/Idris2/
INHERIT=toolchain-funcs xdg-utils
IUSE=+chez doc racket test-full
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
REQUIRED_USE=^^ ( chez racket )
SLOT=0
SRC_URI=https://github.com/idris-lang/Idris2/archive/ba180706d607945d8b419301f4362471d97a306a.tar.gz -> idris2-0.5.1_p20211112.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31
_md5_=8d3e6b9be010bc5bf7d8439e9a1f2d25

15
metadata/md5-cache/dev-lang/lean-3.33.0
View File

@@ -1,15 +0,0 @@
BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install postinst prepare test
DEPEND=dev-libs/gmp
DESCRIPTION=The Lean Theorem Prover
EAPI=8
HOMEPAGE=https://leanprover-community.github.io/
INHERIT=cmake optfeature
IUSE=debug +json +threads
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp
SLOT=0/3
SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.33.0.tar.gz -> lean-3.33.0.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 cmake 11fee991ab428a3370e5c20fa8231fb6 optfeature 30ce9dec2b8943338c9b015bd32bac6a
_md5_=010229b1f20b0ba787b96197fd623911

15
metadata/md5-cache/dev-lang/lean-3.34.0
View File

@@ -1,15 +0,0 @@
BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install postinst prepare test
DEPEND=dev-libs/gmp
DESCRIPTION=The Lean Theorem Prover
EAPI=8
HOMEPAGE=https://leanprover-community.github.io/
INHERIT=cmake optfeature
IUSE=debug +json +threads
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp
SLOT=0/3
SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.34.0.tar.gz -> lean-3.34.0.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 cmake 11fee991ab428a3370e5c20fa8231fb6 optfeature 30ce9dec2b8943338c9b015bd32bac6a
_md5_=010229b1f20b0ba787b96197fd623911

15
metadata/md5-cache/dev-lang/lean-3.35.0
View File

@@ -1,15 +0,0 @@
BDEPEND=dev-util/ninja >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install postinst prepare test
DEPEND=dev-libs/gmp
DESCRIPTION=The Lean Theorem Prover
EAPI=8
HOMEPAGE=https://leanprover-community.github.io/
INHERIT=cmake optfeature
IUSE=debug +json +threads
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=dev-libs/gmp
SLOT=0/3
SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.35.0.tar.gz -> lean-3.35.0.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 flag-o-matic 4134b5c0fb719b9161d10bdaba9e09e5 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 cmake 11fee991ab428a3370e5c20fa8231fb6 optfeature 30ce9dec2b8943338c9b015bd32bac6a
_md5_=010229b1f20b0ba787b96197fd623911