Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | home: add twelf | stuebinm | 2024-02-11 | 1 | -0/+8 |
* | some updates | stuebinm | 2023-12-09 | 1 | -1/+0 |
* | jump to nixos 23.11 | stuebinm | 2023-11-30 | 1 | -2/+4 |
* | home: small changes | stuebinm | 2023-11-15 | 1 | -1/+1 |
* | home: spell checking for emacs | stuebinm | 2023-10-30 | 1 | -1/+1 |
* | home: switch back to rnix-lsp | stuebinm | 2023-10-30 | 1 | -1/+1 |
* | playing around with radicle.xyz | stuebinm | 2023-10-12 | 1 | -0/+1 |
* | update RusTeX | stuebinm | 2023-10-09 | 1 | -1/+3 |
* | updates | stuebinm | 2023-10-09 | 1 | -1/+1 |
* | home: accumulated changes | stuebinm | 2023-10-08 | 1 | -4/+6 |
* | update inputs | stuebinm | 2023-10-01 | 1 | -1/+1 |
* | home: add lean4 | stuebinm | 2023-09-23 | 1 | -1/+1 |
* | assorted nice-ish things | stuebinm | 2023-08-03 | 1 | -1/+1 |
* | htmlq is nice | stuebinm | 2023-07-24 | 1 | -1/+1 |
* | home: documentation for TeXlive | stuebinm | 2023-07-20 | 1 | -1/+5 |
* | package RusTeX | stuebinm | 2023-07-18 | 1 | -1/+1 |
* | update inputs | stuebinm | 2023-06-30 | 1 | -3/+3 |
* | update isabelle fhsenv | stuebinm | 2023-04-28 | 1 | -1/+1 |
* | home: proper xdg-open behaviour for pdfs | stuebinm | 2023-04-18 | 1 | -1/+1 |
* | manage secrets with sops | stuebinm | 2023-04-11 | 1 | -1/+1 |
* | home: use wormhole-rs instead of wormhole | stuebinm | 2023-04-10 | 1 | -1/+1 |
* | update inputs | stuebinm | 2023-03-24 | 1 | -2/+2 |
* | get rid of crane & naersk | stuebinm | 2023-03-22 | 1 | -32/+4 |
* | package typst | stuebinm | 2023-03-22 | 1 | -1/+1 |
* | home: downgrade to emacs 29 | stuebinm | 2023-03-19 | 1 | -1/+17 |
* | home: add the gomuks matrix client | stuebinm | 2023-03-05 | 1 | -1/+1 |
* | home: add nix-doc | stuebinm | 2023-03-05 | 1 | -1/+1 |
* | 32 bit wine with opengl | stuebinm | 2023-03-04 | 1 | -0/+1 |
* | home: a couple more packages | stuebinm | 2023-03-04 | 1 | -1/+3 |
* | home: a couple more utils | stuebinm | 2023-02-20 | 1 | -1/+1 |
* | home: some more utils | stuebinm | 2023-02-14 | 1 | -1/+1 |
* | home: haskell 9.0.2 | stuebinm | 2023-02-12 | 1 | -2/+8 |
* | new home packages | stuebinm | 2023-01-27 | 1 | -1/+1 |
* | home: add telegram desktop | stuebinm | 2023-01-12 | 1 | -1/+1 |
* | home: add isabat via flake input instead of direct path | stuebinm | 2023-01-09 | 1 | -1/+1 |
* | home: a couple useful packages | stuebinm | 2023-01-09 | 1 | -2/+4 |
* | home: more isabelle | stuebinm | 2022-12-19 | 1 | -1/+2 |
* | home: isabelle 2021-1 → 2022 | stuebinm | 2022-12-14 | 1 | -1/+1 |
* | home: use signal-desktop from unstable | stuebinm | 2022-12-06 | 1 | -1/+1 |
* | home: add nix-serve-ng | stuebinm | 2022-12-06 | 1 | -0/+1 |
* | home: emacs on wayland | stuebinm | 2022-12-06 | 1 | -1/+3 |
* | update to nixos22.11 | stuebinm | 2022-12-05 | 1 | -2/+1 |
* | add home manager deployment for parsons (hacc server) | stuebinm | 2022-11-25 | 1 | -0/+1 |
* | home: add xml pretty-printing alias | stuebinm | 2022-11-11 | 1 | -0/+1 |
* | home: add showrt | stuebinm | 2022-11-11 | 1 | -1/+5 |
* | home: add poppler_utils | stuebinm | 2022-10-15 | 1 | -0/+1 |
* | home: jump to thunderbird from unstable (>= v91) | stuebinm | 2022-07-19 | 1 | -1/+1 |
* | home: a couple more packages | stuebinm | 2022-07-18 | 1 | -1/+1 |
* | home: add traveltext to packages | stuebinm | 2022-06-15 | 1 | -0/+2 |
* | home: downgrade haskell | stuebinm | 2022-06-15 | 1 | -2/+3 |