Update poetry2nix (#706)

The pyk update job in evm semantics is currently failing due to mismatch
with nixpkgs. The latest version of poetry2nix lets us choose which
nixpkgs get used to build poetry packages, by introducing `mkPoetry2Nix
{ pkgs = <my nixpkgs version here>; })`. This will allow us to use a
separate version of nixpkgs to build pyk vs the rest of k-framework, at
least until at least the time nixpkgs stable catches up with changes
described here: nix-community/poetry2nix#1291.
However, we may always want to use a custom version of nixpkgs for
poetry projects downstream, pinned to the version here. This should
ensure that if pyk builds in this repository, it will also build in all
the downstream projects which use it.

---------

Co-authored-by: devops <[email protected]>

flake.nix

@@ -1,18 +1,23 @@
 {
   description = "Application packaged using poetry2nix";
 
-  inputs.flake-utils.url = "github:numtide/flake-utils";
-  inputs.nixpkgs.url = "github:NixOS/nixpkgs";
-  inputs.poetry2nix.url = "github:nix-community/poetry2nix/master";
-  inputs.poetry2nix.inputs.nixpkgs.follows = "nixpkgs";
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs";
+    poetry2nix = {
+      url =
+        "github:nix-community/poetry2nix/626111646fe236cb1ddc8191a48c75e072a82b7c";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+    flake-utils.follows = "poetry2nix/flake-utils";
+  };
 
   outputs = { self, nixpkgs, flake-utils, poetry2nix }:
     {
       # Nixpkgs overlay providing the application
       overlay = final: prev:
         let
           mkPyk = python:
-            prev.poetry2nix.mkPoetryApplication {
+            (poetry2nix.lib.mkPoetry2Nix { pkgs = prev; }).mkPoetryApplication {
               python = python;
               projectDir = ./.;
               groups = [ ];
@@ -28,7 +33,7 @@
       let
         pkgs = import nixpkgs {
           inherit system;
-          overlays = [ poetry2nix.overlay self.overlay ];
+          overlays = [ self.overlay ];
         };
       in {
         packages = {

package/version

@@ -1 +1 @@
-0.1.485
+0.1.486

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.485"
+version = "0.1.486"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",