|
b0a7723f68
|
fix name of plover_stroke
|
2022-06-28 15:06:56 +01:00 |
|
|
da89c4f5b2
|
plover wayland
|
2022-06-28 09:51:16 +01:00 |
|
|
c85f348a98
|
override name for regenpfeifer
|
2022-06-18 10:05:53 +01:00 |
|
|
6f514fc347
|
switch back to the old hyphenator
|
2022-06-17 21:02:45 +01:00 |
|
|
e64e57f6bc
|
add pyphen as dep
|
2022-06-17 20:29:02 +01:00 |
|
|
b9cd83489b
|
use a simplified version of regenpfeifer which is faster and doesn’t find briefs
|
2022-06-17 20:27:31 +01:00 |
|
|
1937db14c2
|
only use 25k words and 100k lines
|
2022-06-17 19:58:22 +01:00 |
|
|
0af41c7a57
|
fix pythonpath
|
2022-06-17 16:44:04 +01:00 |
|
|
6d34509184
|
use nixpkgs stable for pypy
|
2022-06-17 15:28:28 +01:00 |
|
|
f2523eebd2
|
pypy3 does not fucking work
|
2022-06-17 15:02:44 +01:00 |
|
|
fa3ed7f20f
|
use pypy3Packages instead of python3Packages
|
2022-06-17 13:30:44 +01:00 |
|
|
056b2bc274
|
pypy uses pypy not python
|
2022-06-17 13:24:20 +01:00 |
|
|
f0d693ad5e
|
use pypy3 instead of python3 for regenpfeifer
|
2022-06-17 12:51:38 +01:00 |
|
|
bb2c898d0d
|
add regenpfeifer
|
2022-06-17 10:24:08 +01:00 |
|
|
b20db5c550
|
setuptoolsCheckPhase ???
|
2022-06-16 21:52:29 +01:00 |
|
|
42bafeca4e
|
disable tests in plover-plugin-manager
|
2022-06-16 21:42:08 +01:00 |
|
|
611be4411b
|
Add deps to propagated build inputs in plover-plugins-manager
|
2022-06-16 21:40:28 +01:00 |
|
|
edf27c032f
|
disable check phase in plover
|
2022-06-16 21:36:09 +01:00 |
|
|
067051a84b
|
add plover-stroke and rtf-tokenize
|
2022-06-16 21:31:41 +01:00 |
|
|
47c9b99394
|
add plover and plover-plugins-manager
|
2022-06-16 17:16:05 +01:00 |
|