modules

meta-introspector · Feb 24, 2024 · feaa62f · feaa62f
1 parent 88f2cb6
commit feaa62f
Show file tree

Hide file tree

Showing 7 changed files with 19 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -3113,3 +3113,16 @@
 [submodule "2024/02/23/niv"]
 	path = 2024/02/23/niv
 	url = https://github.com/nmattia/niv
+[submodule "2024/02/23/nix-straight.el"]
+	path = 2024/02/23/nix-straight.el
+	url = https://github.com/nix-community/nix-straight.el
+[submodule "2024/02/23/coq-nix-toolbox"]
+	path = 2024/02/23/coq-nix-toolbox
+	url = https://github.com/coq-community/coq-nix-toolbox
+[submodule "2024/02/23/blackbox"]
+	path = 2024/02/23/blackbox
+	url = https://github.com/brettgilio/blackbox
+[submodule "2024/02/23/nix-config"]
+	path = 2024/02/23/nix-config
+	url = https://github.com/jwiegley/nix-config
+
diff --git a/2024/01/15/lang_agent b/2024/01/15/lang_agent
diff --git a/2024/02/21/emacs-overlay b/2024/02/21/emacs-overlay
diff --git a/2024/02/23/blackbox b/2024/02/23/blackbox
diff --git a/2024/02/23/coq-nix-toolbox b/2024/02/23/coq-nix-toolbox
diff --git a/2024/02/23/nix-config b/2024/02/23/nix-config
diff --git a/2024/02/23/nix-straight.el b/2024/02/23/nix-straight.el
+1 −1		elisp.nix
+6 −6		flake.lock
+3 −3		overlays/emacs.nix
+64 −61		repos/elpa/elpa-devel-generated.nix
+6 −6		repos/elpa/elpa-generated.nix
+1 −1		repos/emacs/commercial-emacs-commercial-emacs.json
+1 −1		repos/emacs/emacs-master.json
+282 −279		repos/melpa/recipes-archive-melpa.json
+3 −18		repos/nongnu/nongnu-generated.nix