diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-11-26 14:44:45 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-11-26 14:46:56 +0100 |
| commit | 132e6e560929e0b0f4df7d56fbc7d1fc223ac64a (patch) | |
| tree | 7e3604f8538790575a25f6671513a00b1a69a657 /dev-lang | |
| parent | x11-libs/motif: Fix build with clang (diff) | |
| download | gentoo-132e6e560929e0b0f4df7d56fbc7d1fc223ac64a.tar.gz gentoo-132e6e560929e0b0f4df7d56fbc7d1fc223ac64a.tar.bz2 gentoo-132e6e560929e0b0f4df7d56fbc7d1fc223ac64a.zip | |
sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-lang')
0 files changed, 0 insertions, 0 deletions