summaryrefslogtreecommitdiff
path: root/devel/verifast
ModeNameSize
-rw-r--r--DESCR235logplain
-rw-r--r--Makefile1414logplain
-rw-r--r--PLIST2676logplain
-rw-r--r--distinfo485logplain
d---------files48logplain
d---------patches49logplain