Add electrum package.

This commit is contained in:
Gabriel Ebner 2018-01-06 11:29:04 +01:00
parent 23c2f87794
commit e6b258c9c1

@ -23,6 +23,8 @@
lean lean
coq coq
electrum
rustup rustup
# cargo rustc # cargo rustc
] ++ (with aspellDicts; [ en de fr nl ]); ] ++ (with aspellDicts; [ en de fr nl ]);