 Cadey Ratio
|
218fa97d62
|
add dhall packages
|
2020-02-13 21:50:49 +00:00 |
|
Cadey Ratio
|
e0027d79c8
|
pin nixpkgs, use niv
|
2020-02-13 17:29:49 +00:00 |
|
Cadey Ratio
|
71488e7dd4
|
add gopls
|
2020-02-10 21:39:06 +00:00 |
|
Cadey Ratio
|
8b7384cc42
|
expose quickserv
|
2020-02-08 21:45:11 +00:00 |
|
Cadey Ratio
|
0b41d79609
|
lojban tools
|
2020-02-06 23:57:09 +00:00 |
|
Cadey Ratio
|
e5f19d3f96
|
add minica
|
2020-02-06 23:33:12 +00:00 |
|
Cadey Ratio
|
c14c5475e2
|
smaller resulting packages
|
2020-02-05 04:07:19 +00:00 |
|
Cadey Ratio
|
d5a165fb51
|
fix???
|
2020-02-01 17:46:24 +00:00 |
|
Cadey Ratio
|
a9982db2fb
|
fix??
|
2020-02-01 17:27:19 +00:00 |
|
Cadey Ratio
|
a45dd19861
|
setup package repo
|
2020-02-01 17:09:13 +00:00 |