| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-03-16 | gnu: All snippets report errors using exceptions, else return #t. | Mark H Weaver |
| 2018-03-05 | gnu: papi: Use HTTPS home page. | Tobias Geerinckx-Rice |
| 2018-03-05 | gnu: papi: Fix documentation location. | Tobias Geerinckx-Rice |
| 2018-03-04 | gnu: papi: Update phase style. | Tobias Geerinckx-Rice |
| 2017-10-03 | gnu: Add scorep-openmpi. | Dave Love |
| 2017-10-03 | gnu: Add cube. | Dave Love |
| 2017-10-03 | gnu: Add opari2. | Dave Love |
| 2017-10-03 | gnu: Add otf2. | Dave Love |
| 2017-10-03 | gnu: Add papi. | Dave Love |
