summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2024-05-31forkless script wrapperJohannes Wellhöfer
2024-05-30add maintainerJohannes Wellhöfer
2024-05-30v2023.09.03Johannes Wellhöfer
2024-05-30v2023.09.03Johannes Wellhöfer
2019-10-20fstar-bin 0.9.7.0-1Mort Yao
2018-05-29fstar-bin 0.9.5.0-2Mort Yao
2018-05-18fstar-bin 0.9.5.0-1Mort Yao
2017-09-02fstar-bin 0.9.5.0-1Mort Yao
2017-09-02fstar-bin 0.9.5.0-1Mort Yao
2017-02-11fstar-bin 0.9.4.0-1Mort Yao
2016-03-13add check4u (a tool to check for updates)Mort Yao
2016-03-13fstar-bin 0.9.2.0-1Mort Yao