Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2024-06-14 | home: remove lean | stuebinm | 1 | -1/+1 |
2024-06-04 | all: jump to nixpkgs 24.05 | stuebinm | 1 | -4/+4 |
2024-06-04 | home: simple alias for reading qr codes on screen | stuebinm | 1 | -1/+2 |
2024-05-07 | home: switch to dino from nixpkgs-stable | stuebinm | 1 | -0/+1 |
2024-04-29 | yeet the nix flakes | stuebinm | 1 | -1/+1 |
2024-04-15 | package transport-validator | stuebinm | 1 | -0/+2 |
2024-04-07 | home: add ijq | stuebinm | 1 | -1/+1 |
2024-03-16 | update inputs | stuebinm | 1 | -1/+1 |
2024-03-16 | home: minor tweaks | stuebinm | 1 | -0/+1 |
2024-03-07 | home: add git annex remote for amatl | stuebinm | 1 | -2/+2 |
2024-02-11 | home: add twelf | stuebinm | 1 | -0/+8 |
2023-12-09 | some updates | stuebinm | 1 | -1/+0 |
2023-11-30 | jump to nixos 23.11 | stuebinm | 1 | -2/+4 |
2023-11-15 | home: small changes | stuebinm | 1 | -1/+1 |
2023-10-30 | home: spell checking for emacs | stuebinm | 1 | -1/+1 |
2023-10-30 | home: switch back to rnix-lsp | stuebinm | 1 | -1/+1 |
2023-10-12 | playing around with radicle.xyz | stuebinm | 1 | -0/+1 |
2023-10-09 | update RusTeX | stuebinm | 1 | -1/+3 |
2023-10-09 | updates | stuebinm | 1 | -1/+1 |
2023-10-08 | home: accumulated changes | stuebinm | 1 | -4/+6 |
2023-10-01 | update inputs | stuebinm | 1 | -1/+1 |
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 |