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 |
|
Florian Schmaus
|
f64371f1bc
|
dev-lang/ammonite-repl-bin: add missing jre RDEPEND
Signed-off-by: Florian Schmaus <flow@gentoo.org>
|
2021-06-24 12:15:34 +02:00 |
|
Florian Schmaus
|
447f9e728e
|
dev-lang/ammonite-repl-bin: add 2.4.0, drop 2.3.8
Signed-off-by: Florian Schmaus <flow@gentoo.org>
|
2021-06-24 12:14:24 +02:00 |
|
Florian Schmaus
|
6cd22b5ae0
|
Update my mail address in metadata
Signed-off-by: Florian Schmaus <flow@gentoo.org>
|
2021-06-22 11:21:34 +02:00 |
|
Matt Smith
|
d2fdc2df7d
|
dev-lang/gleam: Drop old
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>
|
2021-06-18 08:27:16 +01:00 |
|
Matt Smith
|
284aa792a5
|
dev-lang/gleam: Bump to 0.16.0
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>
|
2021-06-18 08:26:51 +01:00 |
|
Theo Anderson
|
2641049c09
|
dev-lang/janet: treeclean
Signed-off-by: Theo Anderson <telans@posteo.de>
|
2021-06-17 16:51:06 +12:00 |
|
Maciej Barć
|
b6c273c7f5
|
dev-lang/janet: add version 1.16.1 and live
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-06-16 18:04:45 +02:00 |
|
Florian Schmaus
|
5a6f8a2dbf
|
dev-lang/ammonite-repl-bin: initial import
Signed-off-by: Florian Schmaus <flo@geekplace.eu>
|
2021-05-28 23:33:28 +02:00 |
|
Anna Vyalkova
|
3a9a547f0a
|
dev-lang/wren: fix CC
Closes: https://bugs.gentoo.org/784932
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>
|
2021-05-16 19:05:01 +05:00 |
|
Anna Vyalkova
|
418c3240b6
|
dev-lang/fbc-bootstrap: fix compiler vars
Closes: https://bugs.gentoo.org/784707
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>
|
2021-05-16 19:05:01 +05:00 |
|