diff options
author | Olivier Dion <odion@efficios.com> | 2023-11-01 16:35:16 -0400 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-22 16:51:46 +0100 |
commit | 0bc856034076b49cfa20f505a4c11c830b68c1b0 (patch) | |
tree | 6d0dd5c451c4d7e4bf13d98faaf4cadcb9678bda /gnu/local.mk | |
parent | c4b4badb2e5d3b47fb48e765c75a1a0be0ae0217 (diff) |
gnu: Add babeltrace/dev.
* gnu/packages/instrumentation.scm (babeltrace/dev): New variable.
Change-Id: Ib54ced9a1ede5d9acc9a53ff325663a28a3b447f
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions