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/patches/broadcom-sta-null-pointer-fix.patch | |
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/patches/broadcom-sta-null-pointer-fix.patch')
0 files changed, 0 insertions, 0 deletions