Commit graph

20 commits

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