diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 15:38:44 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 15:38:44 -0400 |
| commit | 26877e53692d64f20e254ce710113437292b4e4d (patch) | |
| tree | 075c0a1f58a04a77eb966be0423f7a858506d37f /src/coq | |
| parent | 12476de8db8c1c548ece54878093b5aa691a6894 (diff) | |
Don’t set `Multi-Arch: foreign` for urweb
Fix the Lintian multiarch-foreign-static-library error by removing the
`Multi-Arch: foreign` stanza from the urweb package.
Diffstat (limited to 'src/coq')
0 files changed, 0 insertions, 0 deletions