blob: 163a2d71629c48857f56734c1b9e44478183e0f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
{ config, lib, pkgs, inputs, system, ... }:
let
naersk = pkgs.callPackage inputs.naersk {};
extras = {
almanac = naersk.buildPackage inputs.almanac;
kijetesantakaluotokieni = naersk.buildPackage (pkgs.fetchgit {
url = "https://git.2ki.xyz/spiders/kijetesantakaluotokieni";
rev = "7d9ea828f42ffd9fb6826ea4cbf7677b08222064";
sha256 = "sha256-PEp+K5mRNUR6yWLrpGpiX8qvaPQIibA17NQwXUiC2lk=";
});
showrt = naersk.buildPackage {
src = inputs.showrt;
buildInputs = [ pkgs.protobuf ];
};
};
isabelle = import "${inputs.playground.outPath}/isabelle-nix-fhsenv" { inherit pkgs; };
emacs29 = pkgs.callPackage
(import "${inputs.nixpkgs.outPath}/pkgs/applications/editors/emacs/generic.nix" {
version = "29";
sha256 = "sha256-AI4eNgzRLnM1s4hQa0YWJxZR3WZoIuKy7BYosT06K1c=";
}) {
inherit (pkgs.darwin.apple_sdk.frameworks) AppKit Carbon Cocoa IOKit OSAKit Quartz
QuartzCore WebKit ImageCaptureCore GSS ImageIO;
gconf = null;
alsa-lib = null;
gpm = null;
libXaw = pkgs.xorg.libXaw;
inherit (pkgs.darwin) sigtool;
withPgtk = true;
withX = false;
};
in
{
home.packages = with pkgs; [
# inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk
emacs29
emacs-all-the-icons-fonts nerdfonts
# internet apps & clients
firefox keepassxc chromium mumble lynx
openconnect matterhorn tdesktop monolith gomuks
# graphics & audio
audacity blender darktable kdenlive moc ffmpeg-full
gimp-with-plugins inkscape krita meshlab pavucontrol moc
gst_all_1.gstreamer vimiv-qt
# LaTeX & documents
texlive.combined.scheme-full xournal pandoc zathura pdfpc
poppler_utils
# general cli utils
extras.almanac libnotify grim slurp wl-clipboard extras.showrt
extras.kijetesantakaluotokieni mpc_cli duf dufs progress hledger
wineWowPackages.full
# graphical utils
kitty baobab
# gnss things
gpsd galmon-full
# things for emacs
sqlite brightnessctl scrot playerctl tlp
# haskell & co
haskell.packages.ghc902.ghc cabal-install stack
haskell.packages.ghc902.haskell-language-server
haskellPackages.hoogle haskellPackages.stylish-haskell
# other functional things
racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
ocamlPackages.merlin ocaml gauche
(agda.withPackages (p: [ p.standard-library p.cubical ]))
# html, js & co
jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
libxml2 fq
# purescript
spago purescript # nodePackages.purescript-language-server nodejs
# rust
cargo rustc rust-analyzer rustfmt
# go
go gopls godef gore gocode gotests gomodifytags
# others
gcc cachix julia_16-bin python39
# nix things
nixfmt niv inputs.deploy-rs.defaultPackage.${system}
haskellPackages.nix-serve-ng nix-doc
# other things
mercurial
# isabelle
isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
(import inputs.isabelle-utils {inherit pkgs naersk; }).isabat
(import inputs.traveltext { inherit pkgs; })
];
}
|
