mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 07:33:19 -04:00
Code Issues Packages Projects Releases Wiki Activity
12,316 Commits 1 Branch 0 Tags
df11a78e01342acada0ca66b19d80c343bbc8d61
Commit Graph

137 Commits

Author SHA1 Message Date
Haelwenn (lanodan) Monnier
d3821ec119 dev-lang/hare: add 0_pre20220827, drop 0_pre20220730 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-28 15:46:11 +02:00
Haelwenn (lanodan) Monnier
a7ad6d7b99 dev-lang/harec: add 0_pre20220827, drop 0_pre20220702 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-28 15:46:10 +02:00
Andrew Pirie
d88ac1ce52 dev-lang/hare: set correct architecture for build during configure 
Signed-off-by: Andrew Pirie <andrew@apirie.uk>
 2022-08-26 09:14:45 +01:00
Haelwenn (lanodan) Monnier
2adbf5c546 dev-lang/hare: Add QA_FLAGS_IGNORED on hare-built binaries 
Closes: https://bugs.gentoo.org/864971
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-13 09:04:42 +02:00
Haelwenn (lanodan) Monnier
b155022471 dev-lang/hare: Remove creation of LOCALSRCDIR 
Closes: https://bugs.gentoo.org/864973
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-13 00:11:21 +02:00
Haelwenn (lanodan) Monnier
2fecd79959 dev-lang/hare: Fix snapshot 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-08 22:23:13 +02:00
Haelwenn (lanodan) Monnier
17da0caaa0 dev-lang/harec: Update snapshot to 20220702 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-08-08 22:23:13 +02:00
Andrew Ammerlaan
fd78e27cf0 dev-lang/harec: remove double empty line 
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2022-07-03 14:08:01 +02:00
Haelwenn (lanodan) Monnier
d2a1cda96e dev-lang/harec: Remove -Werror 
Closes: https://bugs.gentoo.org/854162
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-06-27 04:56:24 +02:00
Haelwenn (lanodan) Monnier
234429e49e dev-lang/harec: Unify live and release ebuilds 
Closes: https://bugs.gentoo.org/854165
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-06-27 04:56:24 +02:00
Haelwenn (lanodan) Monnier
be258e0da0 dev-lang/hare: Use $PV as subslot 
hare binaries are statically linked, this allows to rebuild them on standard library updates

Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-06-25 05:53:01 +02:00
Florian Schmaus
65b353adee dev-lang/opencilk-bin: add QA_FLAGS_IGNORED 
Closes: https://bugs.gentoo.org/854099
Closes: https://bugs.gentoo.org/854102
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2022-06-24 20:36:17 +02:00
Florian Schmaus
24640b40b3 dev-lang/opencilk: fix installation 
Closes: https://bugs.gentoo.org/854087
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2022-06-24 18:09:54 +02:00
Huang Rui
c722e9d3d5 dev-lang/hare: fix keyword for CI 
keyword 0_pre20220624 for ~arm64, ~riscv

Signed-off-by: Huang Rui <vowstar@gmail.com>
 2022-06-24 21:10:11 +08:00
Huang Rui
8802d28445 dev-lang/harec: fix keyword for CI 
keyword 0_pre20220624 for ~arm64, ~riscv

Signed-off-by: Huang Rui <vowstar@gmail.com>
 2022-06-24 21:09:36 +08:00
Huang Rui
f1210a599e dev-lang/{hare/harec}: keywords fixed version to fix CI build 
Signed-off-by: Huang Rui <vowstar@gmail.com>
 2022-06-24 21:03:37 +08:00
Huang Rui
d8f7e2a726 dev-lang/hare: add fixed version to fix CI 
Signed-off-by: Huang Rui <vowstar@gmail.com>
 2022-06-24 20:42:31 +08:00
Florian Schmaus
f32a14bd4d dev-lang/opencilk-bin: new package, add 1.1, migrated from ::flow 
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2022-06-24 12:43:41 +02:00
Florian Schmaus
ddbaa6ba91 dev-lang/opencilk: new package, add 1.1, migrated from ::flow 
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2022-06-24 12:43:07 +02:00
Haelwenn (lanodan) Monnier
112a0f2da3 dev-lang/hare: Add MPL-2.0 in LICENSE 
The standard library is under MPL-2.0, the executables are under GPL-3.0 (only)

Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-05-05 16:40:51 +02:00
Haelwenn (lanodan) Monnier
62ed1146be dev-lang/hare: New Package 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-04-23 19:53:06 +02:00
Haelwenn (lanodan) Monnier
23877267ee dev-lang/harec: New Package 
Signed-off-by: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
 2022-04-23 19:53:05 +02:00
Ronny (tastytea) Gutbrod
beba143c39 */*: Fix missing trailing slash in HOMEPAGE 
Signed-off-by: Ronny (tastytea) Gutbrod <gentoo@tastytea.de>
 2022-04-04 18:45:49 +02:00
Matthew Smith
b87e1cee54 dev-lang/gleam: drop to maintainer-needed 
Signed-off-by: Matthew Smith <matthew@gentoo.org>
 2022-02-13 20:34:08 +00:00
Maciej Barć
1fe1d27a92 dev-lang: moved fennel to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-28 19:28:11 +01:00
Maciej Barć
70324d1a2e dev-lang: move idris2 to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-27 21:20:18 +01:00
Maciej Barć
b4db09e030 dev-lang: moved arc to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 15:58:04 +01:00
Maciej Barć
0687ff75b4 dev-lang: move lean to ::gentoo (as sci-mathematics/lean) 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 14:08:39 +01:00
Maciej Barć
0c79f3904f dev-lang: move clipsjni to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 12:19:38 +01:00
Maciej Barć
8c447fa0c3 dev-lang: move clips to ::gentoo 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
 2021-11-26 12:19:38 +01:00
Maciej Barć
b51b6cd343 dev-lang/idris2: add schemes threading requirement 
Closes: https://bugs.gentoo.org/825430
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-21 21:57:26 +01:00
Maciej Barć
ba32481bb7 dev-lang/clipsjni: fix desktop entries 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-13 04:03:13 +01:00
Maciej Barć
e0ab18e285 dev-lang/clips: new package; add version 6.40 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-13 01:04:29 +01:00
Maciej Barć
2f556cfba3 dev-lang/clipsjni: new package; add version 6.40 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-13 01:04:29 +01:00
Maciej Barć
c0c5127c81 dev-lang/arc: bump EAPI; compile scheme modules 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 13:22:44 +01:00
Maciej Barć
b31a23d494 dev-lang/arc: move from dev-lisp/arc 
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 12:27:43 +01:00
Maciej Barć
860c53c506 dev-lang/idris2: bump to 0.5.1_p20211112 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 11:45:58 +01:00
Maciej Barć
e2e4ee9030 dev-lang/idris2: move scheme from BDEPEND to RDEPEND 
scheme still needed to run idris2 binary

Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 09:16:26 +01:00
Maciej Barć
01357cba10 dev-lang/idris2: fix *DEPEND 
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 06:29:41 +01:00
Maciej Barć
f19bc995e9 dev-lang/idris2: new package; add version 0.5.1 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-12 06:24:52 +01:00
Maciej Barć
be2c39fcda dev-lang/lean: bump to 3.35.0 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-11-05 09:30:48 +01:00
Florian Schmaus
84d53c99dc dev-lang/ammonite-repl-bin: treeclean 
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2021-10-25 16:29:23 +02:00
Maciej Barć
1a977dcf40 dev-lang/lean: fix build type and flags 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-22 00:58:05 +02:00
Maciej Barć
7c7d1cb415 dev-lang/lean: remove unnecessary test flag 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-22 00:24:17 +02:00
Maciej Barć
46c0040634 dev-lang/lean: exclude style_check test 
Closes: https://bugs.gentoo.org/819093
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-21 16:14:04 +02:00
Alessandro Barbieri
56d5f40d5d dev-lang/lean: add 3.34.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-10-21 16:12:28 +02:00
Maciej Barć
cb04649b4c dev-lang/lean: add subslot 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-21 00:06:16 +02:00
Maciej Barć
a98873df4c dev-lang/lean: add info about mathlib-tools 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-20 23:35:14 +02:00
Maciej Barć
b206aa4fe3 dev-lang/lean: add version 3.33.0 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-10-19 23:41:00 +02:00
James Beddek
02b1f0a9ea */*: drop dead python impls 
Signed-off-by: James Beddek <telans@posteo.de>
 2021-10-09 22:30:09 +13:00