diff options
| author | Dave Love <fx@gnu.org> | 2017-10-02 21:48:43 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-03 17:07:55 +0200 |
| commit | 6a3af24f062350751ab70ba21bdcf8792b6624d6 (patch) | |
| tree | 8b4882db42f16b6e4e2b360a34233f6b5233bf6b /TODO | |
| parent | 65d98906b87ce03e9e991fc3f336e5d62f0571a4 (diff) | |
| download | guix-6a3af24f062350751ab70ba21bdcf8792b6624d6.tar guix-6a3af24f062350751ab70ba21bdcf8792b6624d6.tar.gz | |
gnu: Add papi.
* gnu/packages/profiling.scm: New file.
* gnu/local.mk: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions