Age | Commit message (Expand) | Author |
---|---|---|
2021-05-09 | Update my email address (scripted) | Florian Franzmann |
2011-07-30 | science/ppl: changed dependency on g++ to dependency on gcc with CXX (scripted) | Florian Franzmann |
2011-02-10 | science/ppl: added missing sub depends | Florian Franzmann |
2011-02-05 | science/ppl: made DEPENDS executable | Florian Franzmann |
2011-02-05 | science/ppl: new spell, an abstraction for analysing and verifying | Florian Franzmann |