This website requires JavaScript.
Explore
Help
Sign In
Nix-Configs
/
blog-static-flake
Watch
1
Star
0
Fork
0
You've already forked blog-static-flake
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
226
Commits
1
Branch
0
Tags
master
Go to file
Add File
New File
Upload File
Apply Patch
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Danila Fedorin
92caeb4d99
Fix Agda HTML crosslinking with Agda 2.8.0
...
Signed-off-by: Danila Fedorin <
danila.fedorin@gmail.com
>
2026-01-05 00:37:37 +00:00
build
Make subsetting into a toggle.
2026-01-03 23:33:22 +00:00
flake.lock
Fix Agda HTML crosslinking with Agda 2.8.0
2026-01-05 00:37:37 +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.
674
KiB
Languages
Nix
69%
Shell
31%
