From 81fc0daf7434fa431f4c4d49605840e09ed8b592 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 20 Nov 2023 19:02:15 +0000 Subject: [PATCH] Use new formula location for `cryptopp@8.6.0` (#2185) * Use new formula location * Set Version: 1.0.364 * Set Version: 1.0.365 --------- Co-authored-by: devops Co-authored-by: rv-jenkins --- README.md | 4 ++-- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 2e11d4b9b4..f22adc17c6 100644 --- 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/cryptopp@8.6.0 poetry solidity +brew tap runtimeverification/k +brew install java automake libtool gmp mpfr pkg-config maven libffi llvm@14 openssl python bash runtimeverification/k/cryptopp@8.6.0 poetry solidity make libsecp256k1 ``` diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index abc5761227..943f81e842 100644 --- 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. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index fa6f255026..2f7041a268 100644 --- 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 index 03dfe2976c..fa8ad76689 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.364 +1.0.365