summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add github to remote-id in metadata.xmlJustin Lecher2015-06-071-1/+4
* Version bump.Patrick McLean2015-05-061-1/+6
* x86 stable, bug 540290Pacho Ramos2015-03-091-1/+4
* amd64 stable, bug 540290Pacho Ramos2015-03-061-3/+5
* New package, Automated Reasoning Engine and Flow Based Programming FrameworkPatrick McLean2014-11-131-0/+10