update and fix missing files
Created by 4kusto on April 27, 2026
AUS3STFGXRJRJTGM4SIMKZDFPGNCAV7W6JPA67B2SLVNZNI4SOIQC Dependencies
In channels
main
Change contents
Replacement in modules/agda.nix at line 15 [3.492]
File addition: ada.nix
[3.19]{ config, pkgs, ... }:{home.packages = with pkgs; [adaaliregnatgprbuild];}File addition: flake.lock
[2.1]{"nodes": {"emacs-overlay": {"inputs": {"nixpkgs": "nixpkgs","nixpkgs-stable": "nixpkgs-stable"},"locked": {"lastModified": 1777310883,"narHash": "sha256-z0Co6dBgQDc4GuT/4SB0W147RXda+l5tEKqj7AIQFJ8=","owner": "nix-community","repo": "emacs-overlay","rev": "8bddffbeab720ae66b723f26fb43e568421a3229","type": "github"},"original": {"id": "emacs-overlay","type": "indirect"}},"home-manager": {"inputs": {"nixpkgs": ["nixpkgs"]},"locked": {"lastModified": 1777308348,"narHash": "sha256-DJx9wnerjsOqKOo8I7/u5ENRhRWFF2mbYcACF+mn5LU=","owner": "nix-community","repo": "home-manager","rev": "a28e848a01044f47679453aae75f6253bef7903e","type": "github"},"original": {"owner": "nix-community","repo": "home-manager","type": "github"}},"nixpkgs": {"locked": {"lastModified": 1776877367,"narHash": "sha256-EHq1/OX139R1RvBzOJ0aMRT3xnWyqtHBRUBuO1gFzjI=","owner": "NixOS","repo": "nixpkgs","rev": "0726a0ecb6d4e08f6adced58726b95db924cef57","type": "github"},"original": {"owner": "NixOS","ref": "nixos-unstable","repo": "nixpkgs","type": "github"}},"nixpkgs-stable": {"locked": {"lastModified": 1777077449,"narHash": "sha256-AIiMJiqvGrN4HyLEbKAoCSRRYn0rnlW5VbKNIMIYqm4=","owner": "NixOS","repo": "nixpkgs","rev": "a4bf06618f0b5ee50f14ed8f0da77d34ecc19160","type": "github"},"original": {"owner": "NixOS","ref": "nixos-25.11","repo": "nixpkgs","type": "github"}},"nixpkgs_2": {"locked": {"lastModified": 1776877367,"narHash": "sha256-EHq1/OX139R1RvBzOJ0aMRT3xnWyqtHBRUBuO1gFzjI=","owner": "nixos","repo": "nixpkgs","rev": "0726a0ecb6d4e08f6adced58726b95db924cef57","type": "github"},"original": {"owner": "nixos","ref": "nixos-unstable","repo": "nixpkgs","type": "github"}},"root": {"inputs": {"emacs-overlay": "emacs-overlay","home-manager": "home-manager","nixpkgs": "nixpkgs_2"}}},"root": "root","version": 7}File addition: .ignore
[2.1].git.DS_Store