Gems5 aladdin 0.2 43,234 March 16, 2013 spirit 0.5 15,156 June 12, 2013 guard-pdflatex 0.0.3 10,641 April 02, 2013 verbal 0.1.2 6,895 July 26, 2013 thor-levenshtein 0.0.1 4,622 January 01, 2013