2017-03-01 14:45:50 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2017-08-16 10:18:42 +00:00
|
|
|
users.users.makefu.packages = with pkgs;[
|
2017-12-27 05:12:07 +00:00
|
|
|
python3
|
2017-11-14 09:15:45 +00:00
|
|
|
python3Packages.pyserial
|
2019-01-28 07:30:50 +00:00
|
|
|
picocom
|
2017-12-27 05:12:07 +00:00
|
|
|
python3Packages.virtualenv
|
2017-05-02 12:04:01 +00:00
|
|
|
# embedded
|
2017-08-16 10:18:42 +00:00
|
|
|
gi
|
2017-03-01 14:45:50 +00:00
|
|
|
flashrom
|
2017-05-02 12:04:01 +00:00
|
|
|
mosquitto
|
|
|
|
libcoap
|
|
|
|
nodemcu-uploader
|
|
|
|
esptool
|
|
|
|
cac-api
|
|
|
|
cac-panel
|
2017-12-08 13:28:36 +00:00
|
|
|
krebszones
|
2017-06-18 12:00:05 +00:00
|
|
|
ovh-zone
|
2017-06-26 14:01:36 +00:00
|
|
|
whatsupnix
|
|
|
|
brain
|
2017-06-30 23:11:31 +00:00
|
|
|
gen-oath-safe
|
2017-10-09 11:54:56 +00:00
|
|
|
cdrtools
|
2018-01-03 23:53:04 +00:00
|
|
|
# nix related
|
|
|
|
nix-index
|
2019-01-22 07:15:13 +00:00
|
|
|
nix-review
|
2017-12-29 01:44:11 +00:00
|
|
|
# git-related
|
|
|
|
tig
|
2019-03-06 15:45:01 +00:00
|
|
|
init-host
|
2017-03-01 14:45:50 +00:00
|
|
|
];
|
|
|
|
}
|