mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-17 11:04:10 -04:00
Code Issues Packages Projects Releases Wiki Activity
21,979 Commits 1 Branch 0 Tags
0dff03bfbae0902c2f98ba73e4985bb8b27e2b77
Commit Graph

224 Commits

Author SHA1 Message Date
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
Alessandro Barbieri
be91393604 dev-lang/aldor: drop flag-o-matic 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-09-27 09:08:58 +02:00
William Breathitt Gray
660747b31c dev-lang/fbc: Version bump to 1.08.1 
Signed-off-by: William Breathitt Gray <vilhelm.gray@gmail.com>
 2021-09-08 11:37:24 +09:00
William Breathitt Gray
ab34406a54 dev-lang/fbc-bootstrap: Version bump to 1.08.1 
Signed-off-by: William Breathitt Gray <vilhelm.gray@gmail.com>
 2021-09-08 11:28:51 +09:00
Maciej Barć
f201443d38 dev-lang/fennel: drop old 0.9.1 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-08-16 13:24:58 +02:00
Maciej Barć
aa70ae1444 dev-lang/fennel: bump to 0.10.0 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-08-16 13:24:58 +02:00
Maciej Barć
f859f1595d dev-lang/fennel: remove lua5.2 support 
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
 2021-07-16 21:00:27 +02:00
Alessandro Barbieri
4dd5263f94 dev-lang/aldor: fix hardcoded cc 
Closes: https://bugs.gentoo.org/800257
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-07-05 03:37:47 +02:00
Alessandro Barbieri
542f66ebef dev-lang/aldor: add more || die 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-07-04 01:55:45 +02:00
Alessandro Barbieri
b02deb470a dev-lang/aldor: fixes 
try to respect AR
force boehm-gc
add algebra documentation

Closes: https://bugs.gentoo.org/784887
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-07-02 01:32:35 +02:00
Alessandro Barbieri
25d01f937f */*: fix metadata 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-06-28 16:15:30 +02:00
Andrew Ammerlaan
fed80aea54 dev-lang/aldor: fix PkgInvalidXml, duplicate maintainer entry 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-06-25 12:02:14 +02:00
Alessandro Barbieri
2d3969d4bb */*: take maintainership WIP 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-06-25 09:00:08 +02:00
Florian Schmaus
2ddfe8a18b dev-lang/ammonite-repl-bin: adjust jre RDEPEND 
Signed-off-by: Florian Schmaus <flow@gentoo.org>
 2021-06-24 12:27:38 +02:00