Commit Graph

20 Commits

Author SHA1 Message Date
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