Update flake dependencies

MiniZinc · Dec 26, 2023 · c331c82 · c331c82
1 parent d567a0e
commit c331c82
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 8 deletions.
diff --git a/.envrc b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
@@ -113,3 +113,5 @@ dmypy.json
 
 # Pyre type checker
 .pyre/
+
+result/
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,5 +1,5 @@
 {
-  description = "Application packaged using poetry2nix";
+  description = "Python package to access MiniZinc";
 
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
@@ -30,5 +30,6 @@
           inputsFrom = [ self.packages.${system}.minizinc-python-dev ];
           packages = [ pkgs.poetry ];
         };
-      });
+      }
+    );
 }