Danila Fedorin 6d890fd652 Update blog source ...

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2026-03-22 06:51:59 +00:00

build

Make subsetting into a toggle.

2026-01-03 23:33:22 +00:00

flake.lock

Update blog source

2026-03-22 06:51:59 +00:00

flake.nix

Switch to stable NixOS, update flake.nix, have inputs follow nixpkgs

2025-12-26 22:41:57 +00:00

gemset.nix

Update to new nixpkgs etc

2025-03-02 21:45:32 +00:00

lib.nix

Fix Agda HTML crosslinking with Agda 2.8.0

2026-01-05 00:37:37 +00:00

Description

Nix flake / derivation for building my blog.

681 KiB

Languages

Nix 69%

Shell 31%