index
:
nixfiles
asterisk
main
uffd-on-ilex
my nixfiles
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
home
/
packages.nix
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2023-09-23
home: add lean4
stuebinm
1
-1
/
+1
2023-08-03
assorted nice-ish things
stuebinm
1
-1
/
+1
2023-07-24
htmlq is nice
stuebinm
1
-1
/
+1
2023-07-20
home: documentation for TeXlive
stuebinm
1
-1
/
+5
2023-07-18
package RusTeX
stuebinm
1
-1
/
+1
2023-06-30
update inputs
stuebinm
1
-3
/
+3
2023-04-28
update isabelle fhsenv
stuebinm
1
-1
/
+1
2023-04-18
home: proper xdg-open behaviour for pdfs
stuebinm
1
-1
/
+1
2023-04-11
manage secrets with sops
stuebinm
1
-1
/
+1
2023-04-10
home: use wormhole-rs instead of wormhole
stuebinm
1
-1
/
+1
2023-03-24
update inputs
stuebinm
1
-2
/
+2
2023-03-22
get rid of crane & naersk
stuebinm
1
-32
/
+4
2023-03-22
package typst
stuebinm
1
-1
/
+1
2023-03-19
home: downgrade to emacs 29
stuebinm
1
-1
/
+17
2023-03-05
home: add the gomuks matrix client
stuebinm
1
-1
/
+1
2023-03-05
home: add nix-doc
stuebinm
1
-1
/
+1
2023-03-04
32 bit wine with opengl
stuebinm
1
-0
/
+1
2023-03-04
home: a couple more packages
stuebinm
1
-1
/
+3
2023-02-20
home: a couple more utils
stuebinm
1
-1
/
+1
2023-02-14
home: some more utils
stuebinm
1
-1
/
+1
2023-02-12
home: haskell 9.0.2
stuebinm
1
-2
/
+8
2023-01-27
new home packages
stuebinm
1
-1
/
+1
2023-01-12
home: add telegram desktop
stuebinm
1
-1
/
+1
2023-01-09
home: add isabat via flake input instead of direct path
stuebinm
1
-1
/
+1
2023-01-09
home: a couple useful packages
stuebinm
1
-2
/
+4
2022-12-19
home: more isabelle
stuebinm
1
-1
/
+2
2022-12-14
home: isabelle 2021-1 → 2022
stuebinm
1
-1
/
+1
2022-12-06
home: use signal-desktop from unstable
stuebinm
1
-1
/
+1
2022-12-06
home: add nix-serve-ng
stuebinm
1
-0
/
+1
2022-12-06
home: emacs on wayland
stuebinm
1
-1
/
+3
2022-12-05
update to nixos22.11
stuebinm
1
-2
/
+1
2022-11-25
add home manager deployment for parsons (hacc server)
stuebinm
1
-0
/
+1
2022-11-11
home: add xml pretty-printing alias
stuebinm
1
-0
/
+1
2022-11-11
home: add showrt
stuebinm
1
-1
/
+5
2022-10-15
home: add poppler_utils
stuebinm
1
-0
/
+1
2022-07-19
home: jump to thunderbird from unstable (>= v91)
stuebinm
1
-1
/
+1
2022-07-18
home: a couple more packages
stuebinm
1
-1
/
+1
2022-06-15
home: add traveltext to packages
stuebinm
1
-0
/
+2
2022-06-15
home: downgrade haskell
stuebinm
1
-2
/
+3
2022-06-14
update sources, move to NixOS 22.05
stuebinm
1
-1
/
+1
2022-04-02
home: wayland screenshots
stuebinm
1
-1
/
+1
2022-03-17
home: add (cubical) agda
stuebinm
1
-0
/
+1
2022-02-24
mako: add libnotify to home so firefox / thunderbird work
stuebinm
1
-1
/
+1
2022-02-05
add minimal home manager config
stuebinm
1
-19
/
+1
2022-02-04
home: new packages
stuebinm
1
-1
/
+1
2022-01-28
add deploy-rs to home packages
stuebinm
1
-11
/
+4
2022-01-28
home: remove vlc
stuebinm
1
-1
/
+1
2022-01-26
move abbenay to hikari as well
stuebinm
1
-1
/
+1
2022-01-26
bump dependencies
stuebinm
1
-1
/
+1
2022-01-24
add almanac / ical feed syncing
stuebinm
1
-2
/
+3
[next]