Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | update sources, remove niv from home | stuebinm | 2024-07-15 | 1 | -1/+1 |
* | home: remove some packages i don't really use | stuebinm | 2024-06-25 | 1 | -26/+11 |
* | home: remove lean | stuebinm | 2024-06-14 | 1 | -1/+1 |
* | all: jump to nixpkgs 24.05 | stuebinm | 2024-06-04 | 1 | -4/+4 |
* | home: simple alias for reading qr codes on screen | stuebinm | 2024-06-04 | 1 | -1/+2 |
* | home: switch to dino from nixpkgs-stable | stuebinm | 2024-05-07 | 1 | -0/+1 |
* | yeet the nix flakes | stuebinm | 2024-04-29 | 1 | -1/+1 |
* | package transport-validator | stuebinm | 2024-04-15 | 1 | -0/+2 |
* | home: add ijq | stuebinm | 2024-04-07 | 1 | -1/+1 |
* | update inputs | stuebinm | 2024-03-16 | 1 | -1/+1 |
* | home: minor tweaks | stuebinm | 2024-03-16 | 1 | -0/+1 |
* | home: add git annex remote for amatl | stuebinm | 2024-03-07 | 1 | -2/+2 |
* | 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 |