diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-04-11 14:02:16 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-11 16:17:01 +0200 |
| commit | 66e46e9f808925425d9ba22f89d0794ce3fafa87 (patch) | |
| tree | cbb7ea9090c4c0c1ecf20733f1f0ea67f3aaf462 /dev-python/google-api-python-client | |
| parent | aed9274e5e2b920373f9482517b2e91c46796ab6 (diff) | |
| download | gentoo-66e46e9f808925425d9ba22f89d0794ce3fafa87.tar.gz gentoo-66e46e9f808925425d9ba22f89d0794ce3fafa87.tar.bz2 gentoo-66e46e9f808925425d9ba22f89d0794ce3fafa87.zip | |
sci-mathematics/flocq: ignore CFLAGS for ML/Coq code
Closes: https://bugs.gentoo.org/904156
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/google-api-python-client')
0 files changed, 0 insertions, 0 deletions