1 files changed, 9 insertions, 9 deletions
diff --git a/flake.nix b/flake.nix
index c94f08a..17cceb1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -13,15 +13,15 @@
          bison
        ];
        execs = [
-          { name = "1"; yacc = false; }
+          { name = "01"; yacc = false; }
-          { name = "2"; yacc = false; }
+          { name = "02"; yacc = false; }
-          { name = "3"; yacc = false; }
+          { name = "03"; yacc = false; }
-          { name = "4"; yacc = false; }
+          { name = "04"; yacc = false; }
-          { name = "5"; yacc = false; }
+          { name = "05"; yacc = false; }
-          { name = "6"; yacc = true; }
+          { name = "06"; yacc = true; }
-          { name = "7"; yacc = true; }
+          { name = "07"; yacc = true; }
-          { name = "8"; yacc = true; }
+          { name = "08"; yacc = true; }
-          { name = "9"; yacc = true; }
+          { name = "09"; yacc = true; }
          { name = "10"; yacc = true; }
          { name = "11"; yacc = true; }
        ];

diff --git a/flake.nix b/flake.nix index c94f08a..17cceb1 100644 --- a/flake.nix +++ b/flake.nix
@@ -13,15 +13,15 @@
13	bison	13	bison
14	];	14	];
15	execs = [	15	execs = [
16	{ name = "1"; yacc = false; }	16	{ name = "01"; yacc = false; }
17	{ name = "2"; yacc = false; }	17	{ name = "02"; yacc = false; }
18	{ name = "3"; yacc = false; }	18	{ name = "03"; yacc = false; }
19	{ name = "4"; yacc = false; }	19	{ name = "04"; yacc = false; }
20	{ name = "5"; yacc = false; }	20	{ name = "05"; yacc = false; }
21	{ name = "6"; yacc = true; }	21	{ name = "06"; yacc = true; }
22	{ name = "7"; yacc = true; }	22	{ name = "07"; yacc = true; }
23	{ name = "8"; yacc = true; }	23	{ name = "08"; yacc = true; }
24	{ name = "9"; yacc = true; }	24	{ name = "09"; yacc = true; }
25	{ name = "10"; yacc = true; }	25	{ name = "10"; yacc = true; }
26	{ name = "11"; yacc = true; }	26	{ name = "11"; yacc = true; }
27	];	27	];