fix2

wolverian · Aug 12, 2022 · 5c44790 · 5c44790
1 parent 249cc2a
commit 5c44790
Show file tree

Hide file tree

Showing 6 changed files with 1,553 additions and 0 deletions.
diff --git a/.direnv/flake-inputs/h1w0wfci2cl4830s0qg38c30cfxhd66h-source b/.direnv/flake-inputs/h1w0wfci2cl4830s0qg38c30cfxhd66h-source
@@ -0,0 +1 @@
+/nix/store/h1w0wfci2cl4830s0qg38c30cfxhd66h-source
diff --git a/.direnv/flake-inputs/i6jp5mlba13hs18hs4axgqsgf0kksyr1-source b/.direnv/flake-inputs/i6jp5mlba13hs18hs4axgqsgf0kksyr1-source
@@ -0,0 +1 @@
+/nix/store/i6jp5mlba13hs18hs4axgqsgf0kksyr1-source
diff --git a/.direnv/flake-inputs/nbkbs33bkw54f60kv5c5y48714l00dpw-source b/.direnv/flake-inputs/nbkbs33bkw54f60kv5c5y48714l00dpw-source
@@ -0,0 +1 @@
+/nix/store/nbkbs33bkw54f60kv5c5y48714l00dpw-source
diff --git a/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa b/.direnv/flake-profile-a5d5b61aa8a61b7d9d765e1daf971a9a578f1cfa
@@ -0,0 +1 @@
+/nix/store/71hisv0q18xwav3n1j4v481pa32ia03g-agda-template-env
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		/nix/store/h1w0wfci2cl4830s0qg38c30cfxhd66h-source
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		/nix/store/i6jp5mlba13hs18hs4axgqsgf0kksyr1-source
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		/nix/store/nbkbs33bkw54f60kv5c5y48714l00dpw-source
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		/nix/store/71hisv0q18xwav3n1j4v481pa32ia03g-agda-template-env