diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/electronics.scm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index d37db9354c7..ac91befb17b 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm | |||
| @@ -2104,12 +2104,12 @@ The following features are currently available: | |||
| 2104 | 2104 | ||
| 2105 | (define-public opensta | 2105 | (define-public opensta |
| 2106 | ;; There are no releases, we use last commit. | 2106 | ;; There are no releases, we use last commit. |
| 2107 | (let ((commit "6e29fcb3f0d8a73af3a0913eb945b665a72e69cb") | 2107 | (let ((commit "62cd210a8aff98cb8bf795e7b70c610faf5deebb") |
| 2108 | (revision "1")) | 2108 | (revision "0")) |
| 2109 | (package | 2109 | (package |
| 2110 | (name "opensta") | 2110 | (name "opensta") |
| 2111 | ;; The version string is taken from the CMakeLists.txt. | 2111 | ;; The version string is taken from the CMakeLists.txt. |
| 2112 | (version (git-version "2.7.0" revision commit)) | 2112 | (version (git-version "3.0.0" revision commit)) |
| 2113 | (source | 2113 | (source |
| 2114 | (origin | 2114 | (origin |
| 2115 | (method git-fetch) | 2115 | (method git-fetch) |
| @@ -2118,7 +2118,7 @@ The following features are currently available: | |||
| 2118 | (commit commit))) | 2118 | (commit commit))) |
| 2119 | (file-name (git-file-name name version)) | 2119 | (file-name (git-file-name name version)) |
| 2120 | (sha256 | 2120 | (sha256 |
| 2121 | (base32 "1drhgp4s6q8j4fhsbxn6szmxl48xdlq0x5z4g6z72img453qvglx")))) | 2121 | (base32 "1ppkymc6f00hf49f1hxsgiilrqbvxb1cv4i3x1vw5g4s6h01b0sy")))) |
| 2122 | (build-system cmake-build-system) | 2122 | (build-system cmake-build-system) |
| 2123 | (arguments | 2123 | (arguments |
| 2124 | (list | 2124 | (list |
| @@ -2139,7 +2139,7 @@ The following features are currently available: | |||
| 2139 | (string-append "-DCUDD_DIR=" #$(this-package-input "cudd")) | 2139 | (string-append "-DCUDD_DIR=" #$(this-package-input "cudd")) |
| 2140 | (string-append "-DBUILD_SHARED_LIBS=YES") | 2140 | (string-append "-DBUILD_SHARED_LIBS=YES") |
| 2141 | "-B./build"))) | 2141 | "-B./build"))) |
| 2142 | (native-inputs (list bison flex swig-4.0)) | 2142 | (native-inputs (list bison flex swig-4.4)) |
| 2143 | (inputs (list cudd eigen tcl tcllib zlib)) | 2143 | (inputs (list cudd eigen tcl tcllib zlib)) |
| 2144 | (synopsis "Parallax Static Timing Analyzer") | 2144 | (synopsis "Parallax Static Timing Analyzer") |
| 2145 | (description | 2145 | (description |
