Index of pub/pkgsrc/current/pkgsrc/devel/verifast/

NameLast modifiedSize
Parent Directory01-Apr-2020 01:0179kB
CVS/11-Mar-2020 01:001kB
DESCR12-Jul-2017 01:541kB
Makefile11-Mar-2020 01:002kB
PLIST12-Jul-2017 01:543kB
README.html31-Mar-2020 13:1542kB
distinfo14-Mar-2018 01:001kB
files/14-Mar-2018 01:001kB
patches/14-Mar-2018 01:001kB