diff options
| author | Olivier Dion <olivier.dion@polymtl.ca> | 2021-12-16 13:40:16 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-12-18 22:51:54 +0100 |
| commit | 2068e3ccd96dbaac0ca9464e29a8b779890640a3 (patch) | |
| tree | ec9166bf1aa7af0d07844af6a4d3001dd03dc4a5 /gnu/platforms | |
| parent | e0139158dbf259e392981cb9b629378a4c78f926 (diff) | |
| download | guix-2068e3ccd96dbaac0ca9464e29a8b779890640a3.tar.gz | |
gnu: Add Dyninst.
* gnu/packages/instrumentation.scm: New file * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/platforms')
0 files changed, 0 insertions, 0 deletions