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)