Index of pub/pkgsrc/stable/pkgsrc/devel/verifast/

NameLast modifiedSize
Parent Directory23-Jun-2021 01:0385kB
CVS/30-Mar-2021 11:251kB
DESCR12-Jul-2017 01:541kB
Makefile08-Mar-2021 08:132kB
PLIST12-Jul-2017 01:543kB
distinfo13-Mar-2018 05:451kB
files/30-Mar-2021 11:231kB
patches/30-Mar-2021 11:231kB