bootstrap

meta-introspector · May 30, 2024 · 8484db3 · 8484db3
1 parent ef6fa5f
commit 8484db3
Show file tree

Hide file tree

Showing 10 changed files with 30 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13077,3 +13077,24 @@
 [submodule "2024/05/29/guix-config"]
 	path = 2024/05/29/guix-config
 	url = https://github.com/meta-introspector/guix-config.git
+[submodule "2024/05/29/subspace"]
+	path = 2024/05/29/subspace
+	url = https://github.com/subspace/subspace
+[submodule "2024/05/29/acl2"]
+	path = 2024/05/29/acl2
+	url = https://github.com/acl2/acl2
+[submodule "2024/05/30/haskell-proofs"]
+	path = 2024/05/30/haskell-proofs
+	url = https://github.com/alexpeits/haskell-proofs
+[submodule "2024/05/30/M2-Planet"]
+	path = 2024/05/30/M2-Planet
+	url = https://github.com/oriansj/M2-Planet
+[submodule "2024/05/30/tinycc"]
+	path = 2024/05/30/tinycc
+	url = https://gitlab.com/janneke/tinycc
+[submodule "2024/05/30/mes"]
+	path = 2024/05/30/mes
+	url = https://git.savannah.gnu.org/git/mes.git
+[submodule "2024/05/30/mescc-tools"]
+	path = 2024/05/30/mescc-tools
+	url = https://git.savannah.nongnu.org/git/mescc-tools.git
diff --git a/2024/03/28/commune b/2024/03/28/commune
diff --git a/2024/05/29/acl2 b/2024/05/29/acl2
diff --git a/2024/05/29/guixie b/2024/05/29/guixie
diff --git a/2024/05/29/subspace b/2024/05/29/subspace
diff --git a/2024/05/30/M2-Planet b/2024/05/30/M2-Planet
diff --git a/2024/05/30/haskell-proofs b/2024/05/30/haskell-proofs
diff --git a/2024/05/30/mes b/2024/05/30/mes
diff --git a/2024/05/30/mescc-tools b/2024/05/30/mescc-tools
diff --git a/2024/05/30/tinycc b/2024/05/30/tinycc
+ −		.stack-work/stack.sqlite3
+0 −0		.stack-work/stack.sqlite3.pantry-write-lock
+ −		Community.dyn_hi
+ −		Community.dyn_o
+ −		Community.hi
+50 −0		Community.hs
+48 −0		Community.hs~
+ −		Community.o
+ −		Define.dyn_hi
+ −		Define.dyn_o
+ −		Define.hi
+42 −0		Define.hs
+24 −0		Define.hs~
+ −		Define.o
+5 −0		Makefile
+2 −0		Makefile~
+12 −1		README.md
+173 −0		plan.hs
+186 −0		plan.hs~
+92 −71		plan.scm
+65 −0		stack.yaml
+12 −0		stack.yaml.lock