From feaa62f05df09cb670c6548dc6dda1184f7e4aa0 Mon Sep 17 00:00:00 2001 From: mike dupont Date: Sat, 24 Feb 2024 07:27:11 -0500 Subject: [PATCH] modules --- .gitmodules | 13 +++++++++++++ 2024/01/15/lang_agent | 2 +- 2024/02/21/emacs-overlay | 2 +- 2024/02/23/blackbox | 1 + 2024/02/23/coq-nix-toolbox | 1 + 2024/02/23/nix-config | 1 + 2024/02/23/nix-straight.el | 1 + 7 files changed, 19 insertions(+), 2 deletions(-) create mode 160000 2024/02/23/blackbox create mode 160000 2024/02/23/coq-nix-toolbox create mode 160000 2024/02/23/nix-config create mode 160000 2024/02/23/nix-straight.el diff --git a/.gitmodules b/.gitmodules index b89f86c5..011da0a9 100644 --- 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 index ab4d41d1..79cb8ea4 160000 --- a/2024/01/15/lang_agent +++ b/2024/01/15/lang_agent @@ -1 +1 @@ -Subproject commit ab4d41d174b222ddaba567090ce549a7040408af +Subproject commit 79cb8ea46a9cdcd2ae97a46e5226d7354eda7240 diff --git a/2024/02/21/emacs-overlay b/2024/02/21/emacs-overlay index 4e1e5405..39a63475 160000 --- a/2024/02/21/emacs-overlay +++ b/2024/02/21/emacs-overlay @@ -1 +1 @@ -Subproject commit 4e1e5405aa869da8bf98b2af7a99873586a01fbc +Subproject commit 39a63475945fea0d8b4e4aeb351f392c1c3beeab diff --git a/2024/02/23/blackbox b/2024/02/23/blackbox new file mode 160000 index 00000000..9bb4652c --- /dev/null +++ b/2024/02/23/blackbox @@ -0,0 +1 @@ +Subproject commit 9bb4652cfcb8e9b61d2084f14822f88ffb32ce5c diff --git a/2024/02/23/coq-nix-toolbox b/2024/02/23/coq-nix-toolbox new file mode 160000 index 00000000..a1ebdd16 --- /dev/null +++ b/2024/02/23/coq-nix-toolbox @@ -0,0 +1 @@ +Subproject commit a1ebdd160bc8abbc4b3efbb654235fa0206e1fb9 diff --git a/2024/02/23/nix-config b/2024/02/23/nix-config new file mode 160000 index 00000000..9577417e --- /dev/null +++ b/2024/02/23/nix-config @@ -0,0 +1 @@ +Subproject commit 9577417e67d3ad4de7b54f20237e1df84d423372 diff --git a/2024/02/23/nix-straight.el b/2024/02/23/nix-straight.el new file mode 160000 index 00000000..748be99b --- /dev/null +++ b/2024/02/23/nix-straight.el @@ -0,0 +1 @@ +Subproject commit 748be99b84be0b130e946288099806a0f16d6e57