Debian Patches
Status for verilator/5.032-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| pkgconfig.diff | Remove 'libdir' field from pkgconfig file lintian complains that this field had a multi-arch value, while the pkgconfig file is installed in usr/share/pkgconfig/ |
=?utf-8?b?Itij2K3ZhdivINin2YTZhdit2YXZiNiv2YogKEFobWVkIEVsLU1haG1v?= | no | 2023-01-06 | ||
| fix-man-whatis.patch | Create man pages with useful whatis entry=================================================================== | أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@users.sourceforge.net> | yes |