New comment by sgn on void-packages repository https://github.com/void-linux/void-packages/issues/23575#issuecomment-757133449 Comment: - [ ] verifast-vfide ``` verifast-vfide-17.06_2.x86_64.xbps verifast-vfide-17.06_2.x86_64-musl.xbps debug/verifast-vfide-dbg-17.06_2.x86_64.xbps debug/verifast-vfide-dbg-17.06_2.x86_64-musl.xbps verifast-vfide-17.06_2.aarch64.xbps verifast-vfide-17.06_2.aarch64-musl.xbps debug/verifast-vfide-dbg-17.06_2.aarch64.xbps debug/verifast-vfide-dbg-17.06_2.aarch64-musl.xbps verifast-vfide-17.06_2.armv7l.xbps verifast-vfide-17.06_2.armv7l-musl.xbps debug/verifast-vfide-dbg-17.06_2.armv7l.xbps debug/verifast-vfide-dbg-17.06_2.armv7l-musl.xbps verifast-vfide-17.06_2.armv6l.xbps verifast-vfide-17.06_2.armv6l-musl.xbps debug/verifast-vfide-dbg-17.06_2.armv6l.xbps debug/verifast-vfide-dbg-17.06_2.armv6l-musl.xbps verifast-vfide-17.06_2.i686.xbps debug/verifast-vfide-dbg-17.06_2.i686.xbps ```