Index of /pub/NetBSD-CVS/pkgsrc/devel/verifast/Attic/

../
DESCR,v                                            29-Jun-2022 07:54                2074
Makefile,v                                         29-Jun-2022 07:54               14534
PLIST,v                                            29-Jun-2022 07:54                4545
distinfo,v                                         29-Jun-2022 07:54                5058