diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-01-12 01:17:55 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-01-12 01:17:55 +0000 |
commit | 956c4e485a9463863f60c4dd03372db3fa8332a4 (patch) | |
tree | ca2efe784df85320e4a743143756ce1f5642ba5d | |
parent | 692a0fa33be72a5987e6ffe1cd591d2d501da507 (diff) | |
download | yosys-956c4e485a9463863f60c4dd03372db3fa8332a4.tar.gz yosys-956c4e485a9463863f60c4dd03372db3fa8332a4.tar.bz2 yosys-956c4e485a9463863f60c4dd03372db3fa8332a4.zip |
Bump version
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -141,7 +141,7 @@ LDLIBS += -lrt endif endif -YOSYS_VER := 0.25+8 +YOSYS_VER := 0.25+58 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo |