diff --git a/packages/v/verilator/abi_used_symbols b/packages/v/verilator/abi_used_symbols
index f12352db6ef5..6a6a39bef52e 100644
--- a/packages/v/verilator/abi_used_symbols
+++ b/packages/v/verilator/abi_used_symbols
@@ -77,7 +77,6 @@ libc.so.6:isalpha
libc.so.6:isatty
libc.so.6:isprint
libc.so.6:isspace
-libc.so.6:isupper
libc.so.6:isxdigit
libc.so.6:lseek64
libc.so.6:malloc
@@ -144,6 +143,7 @@ libc.so.6:ungetc
libc.so.6:ungetwc
libc.so.6:unlink
libc.so.6:usleep
+libc.so.6:utimes
libc.so.6:vsnprintf
libc.so.6:waitpid
libc.so.6:wcrtomb
diff --git a/packages/v/verilator/package.yml b/packages/v/verilator/package.yml
index f006592c4e6a..fc65e6411626 100644
--- a/packages/v/verilator/package.yml
+++ b/packages/v/verilator/package.yml
@@ -1,8 +1,8 @@
name : verilator
-version : '5.018'
-release : 40
+version : '5.020'
+release : 41
source :
- - https://github.com/verilator/verilator/archive/refs/tags/v5.018.tar.gz : 8b544273eedee379e3c1a3bb849e14c754c9b5035d61ad03acdf3963092ba6c0
+ - https://github.com/verilator/verilator/archive/refs/tags/v5.020.tar.gz : 41ca9abfadf8d2413efbff7f8277379733d0095957fe7769dc38f8fd1bc899a6
license :
- LGPL-3.0-only
- Artistic-2.0
diff --git a/packages/v/verilator/pspec_x86_64.xml b/packages/v/verilator/pspec_x86_64.xml
index 1ab44b644f7a..5ea9b969ab8a 100644
--- a/packages/v/verilator/pspec_x86_64.xml
+++ b/packages/v/verilator/pspec_x86_64.xml
@@ -107,6 +107,7 @@
/usr/share/verilator/include/verilated_save.cpp
/usr/share/verilator/include/verilated_save.h
/usr/share/verilator/include/verilated_sc.h
+ /usr/share/verilator/include/verilated_sc_trace.h
/usr/share/verilator/include/verilated_std.sv
/usr/share/verilator/include/verilated_sym_props.h
/usr/share/verilator/include/verilated_syms.h
@@ -138,16 +139,16 @@
programming.devel
- verilator
+ verilator
/usr/share/pkgconfig/verilator.pc
-
- 2023-11-11
- 5.018
+
+ 2024-01-05
+ 5.020
Packaging update
David Harder
david@davidjharder.ca