diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2025-03-28 20:53:39 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-03-28 21:42:16 +0100 |
| commit | 756ab827ab802f4191ff82a6703458fb95ec637e (patch) | |
| tree | 0dd3738d8f25ac7ab8a40b0a539f2e477a542c47 /dev-cpp/jwt-cpp/files/jwt-cpp-0.6.0-gcc13.patch | |
| parent | 77eb07215558b2c0eafd706e18431bd8a44366b3 (diff) | |
| download | gentoo-756ab827ab802f4191ff82a6703458fb95ec637e.tar.gz gentoo-756ab827ab802f4191ff82a6703458fb95ec637e.tar.bz2 gentoo-756ab827ab802f4191ff82a6703458fb95ec637e.zip | |
sci-mathematics/coq: fix export in src_configure
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-cpp/jwt-cpp/files/jwt-cpp-0.6.0-gcc13.patch')
0 files changed, 0 insertions, 0 deletions