![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
Welcome, if you encounter problems please let us know at linux.mirror.admin at vcea.wsu.edu
Per WSU network policies, attempts to download torrent metadata files over HTTP will fail, apologies.
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| verilator-5.030-12.el10_0.x86_64.rpm | 2024-12-13 21:19 | 5.7M |
| verilator-devel-5.030-12.el10_0.x86_64.rpm | 2024-12-13 21:19 | 261K |
| verilator-doc-5.030-12.el10_0.noarch.rpm | 2024-12-13 21:19 | 252K |
| veristat-0.4-1.el10_0.x86_64.rpm | 2024-12-19 15:31 | 141K |