Use new formula location for [email protected] (#2185)

* Use new formula location * Set Version: 1.0.364 * Set Version: 1.0.365 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Nov 20, 2023 · 81fc0da · 81fc0da
1 parent d5fd9d3
commit 81fc0da
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -121,8 +121,8 @@ sudo pacman -S                                               \
 After installing the Command Line Tools, [Homebrew](https://brew.sh/), and getting the [blockchain plugin](#blockchain-plugin), run:
 
 ```sh
-brew tap kframework/k
-brew install java automake libtool gmp mpfr pkg-config maven libffi llvm@14 openssl python bash kframework/k/[email protected] poetry solidity
+brew tap runtimeverification/k
+brew install java automake libtool gmp mpfr pkg-config maven libffi llvm@14 openssl python bash runtimeverification/k/[email protected] poetry solidity
 make libsecp256k1
 ```
 

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.364"
+version = "1.0.365"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.364'
+VERSION: Final = '1.0.365'
diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.364
+1.0.365