diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:27:13 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:27:13 +0200 |
| commit | cdb9c161062a3f5435a36a2c2d9b31877b0975a9 (patch) | |
| tree | 61fe40ba2355909ec8c1628408c8d8781972653a /nongnu/packages/linux.scm | |
| parent | b8404abba7b365997ee7abcbc95c6e3008858999 (diff) | |
nongnu: compcert: Remove input labels.
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
Diffstat (limited to 'nongnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions