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 |
|