diff options
| author | Timotej Lazar <timotej.lazar@araneo.si> | 2020-04-11 13:16:59 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.si> | 2020-04-11 14:11:11 +0200 |
| commit | 1892d626dd36d6b6d8553d03050afc7022e86c73 (patch) | |
| tree | 8ecb929c677b640b803af62f6c2bfe02a83dd18f /nongnu/packages/patches/broadcom-sta-debian-fix-kernel-warnings.patch | |
| parent | 22450afd709b3c23e0082592f9981ed3e8c05aad (diff) | |
nongnu: compcert: Fix a non-exhaustive match.
* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so
that it can be evaluated on all systems.
[supported-systems]: Remove unsupported mips64el-linux.
Diffstat (limited to 'nongnu/packages/patches/broadcom-sta-debian-fix-kernel-warnings.patch')
0 files changed, 0 insertions, 0 deletions