DOKK / manpages

Man pages matching name vpassert in section 1p:

vpassert.1p.en debian 10 / libverilog-perl
vpassert.1p.en debian 11 / libverilog-perl
vpassert.1p.en debian 12 / libverilog-perl