Search Criteria
Package Details: eqy-nightly 1:20231004_4faef63-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/eqy-nightly.git (read-only, click to copy) |
---|---|
Package Base: | eqy-nightly |
Description: | Equivalence Checking with Yosys |
Upstream URL: | https://github.com/YosysHQ/eqy |
Licenses: | custom:ISC |
Submitter: | lethalbit |
Maintainer: | lethalbit |
Last Packager: | lethalbit |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2023-04-02 17:59 (UTC) |
Last Updated: | 2023-10-04 00:00 (UTC) |
Dependencies (7)
- python (python36, python32, python37, python39, python38, python310, python312)
- python-click
- sby-nightly
- yosys-nightly
- gcc (gccrs-git, gcc-git, gcc11) (make)
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
- yosys-nightly (make)