summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2023-11-06fix typo in licenses dirSander Van Balen
2021-03-16updated .SRCINFOSander Van Balen
2021-03-16update to 19.12Sander Van Balen
2018-10-10fixed generation of broken symlinkSander
2018-10-10initial verifast-bin packageSander
 
Clone
https://aur.archlinux.org/verifast-bin.git/