Alfred Wingate
|
18702f7401
|
dev-lang/lci: add 0.11.2_p20191019
* Install html docs with USE="doc"
* Rename and correct doxygen (b)depend
* Fix tests
Signed-off-by: Alfred Wingate <parona@protonmail.com>
|
2024-01-18 14:55:50 +02:00 |
|
Alfred Wingate
|
0a08f4a4f7
|
dev-lang/lci: add github upstream metadata
Signed-off-by: Alfred Wingate <parona@protonmail.com>
|
2023-11-23 19:52:40 +02:00 |
|
Alfred Wingate
|
b3be4b112c
|
dev-lang/dafny: treeclean
* In ::gentoo
Signed-off-by: Alfred Wingate <parona@protonmail.com>
|
2023-09-26 21:20:29 +03:00 |
|
Alfred Wingate
|
6c99e107b6
|
dev-lang/hy: treeclean
Signed-off-by: Alfred Wingate <parona@protonmail.com>
|
2023-05-02 09:44:56 +03:00 |
|
Maciej Barć
|
58fa2b97a1
|
dev-lang/boogie: treeclean - moved to ::gentoo
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2022-10-04 03:17:03 +02:00 |
|
Maciej Barć
|
a4c17e744b
|
dev-lang/lfe: drop; update already in ::gentoo
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2022-06-29 00:33:58 +02:00 |
|
Maciej Barć
|
7557d9ad31
|
dev-lang/nim: moved to ::gentoo
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2021-12-25 21:02:31 +01:00 |
|
Maciej Barć
|
623d9c3069
|
dev-lang/dafny: fixes; regen Manifest; z3 4.8.5
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2021-12-11 01:56:05 +01:00 |
|
Maciej Barć
|
137af19a89
|
dev-lang/fstar: new package; add version 2021.11.27 and 2021.11.30
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2021-12-09 05:51:15 +01:00 |
|
Maciej Barć
|
59de411f0e
|
dev-lang/neko: moved to ::gentoo
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
2021-12-05 05:18:54 +01:00 |
|
Maciej Barć
|
dba398b25d
|
dev-lang/nim: add verison 1.6.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-01 17:54:22 +01:00 |
|
Maciej Barć
|
cadef1c88d
|
dev-lang/dafny: style fixes; separate ebuild phases
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-26 09:23:26 +02:00 |
|
Maciej Barć
|
69a8b07914
|
dev-lang/boogie: add verison 2.9.6
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-26 09:10:20 +02:00 |
|
Maciej Barć
|
83e700cc02
|
dev-lang/dafny: add verison 3.3.0
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-26 08:32:52 +02:00 |
|
Maciej Barć
|
15af7b3d8f
|
*/*: update copyright
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-07-07 18:20:27 +02:00 |
|
Maciej Barć
|
97a5e474ca
|
dev-lang/lfe: drop old 1.3.0_p20210112
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-04-28 16:02:45 +02:00 |
|
Maciej Barć
|
9002c487e3
|
dev-lang/lfe: bump to 1.3.0_p20210419
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-04-28 16:01:55 +02:00 |
|
Maciej Barć
|
873ee69918
|
dev-lang/hy: new pkg; add 1.0_alpha1 and live
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-04-19 22:32:14 +02:00 |
|
Maciej Barć
|
5107977527
|
dev-lang/lfe: remove redundant SRC_URI
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-04-19 22:02:06 +02:00 |
|
Maciej Barć
|
99e60bf51c
|
dev-lang/neko: new pkg; add 2.3.0 and live
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-04-18 00:42:25 +02:00 |
|
Maciej Barć
|
0ca4d65583
|
dev-lang/lfe: fix emacs mode
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@protonmail.com>
|
2021-02-03 02:01:09 +01:00 |
|
Maciej Barć
|
12396cc02c
|
dev-lang/lfe: reorder deps; add emacs; use tarball
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@protonmail.com>
|
2021-02-02 23:35:42 +01:00 |
|
Maciej Barć
|
3117487477
|
dev-lang/lfe: add 1.3.0_p20210112
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Maciej Barć <xgqt@protonmail.com>
|
2021-02-02 18:57:37 +01:00 |
|
Igor Drożniak
|
066b2f3a31
|
dev-lang/lci: Fixed some ebuild nitpicks
Signed-off-by: Igor Drożniak <igordrozniak@disroot.org>
|
2020-10-17 23:36:55 +02:00 |
|
Igor Drożniak
|
10194b3a34
|
dev-lang/lci: Added
|
2020-10-17 23:07:06 +02:00 |
|