Maciej Barć e5eaf98459 sci-mathematics/mathlib-tools: remove problematic tests ...

Closes: https://bugs.gentoo.org/820218
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>

2021-10-25 16:51:19 +02:00

..

chaco

…

frama-c

…

frama-c-aorai

…

frama-c-callgraph

…

frama-c-constant-folding

…

frama-c-dive

…

frama-c-e-acsl

…

frama-c-eva

…

frama-c-from

…

frama-c-impact

…

frama-c-inout

…

frama-c-instantiate

…

frama-c-loopanalysis

…

frama-c-metrics

…

frama-c-nonterm

…

frama-c-obfuscator

…

frama-c-occurrence

…

frama-c-pdg

…

frama-c-postdominators

…

frama-c-printapi

…

frama-c-qed

…

frama-c-report

…

frama-c-rtegen

…

frama-c-scope

…

frama-c-security-slicing

…

frama-c-server

…

frama-c-slicing

…

frama-c-sparecode

…

frama-c-studia

…

frama-c-users

…

frama-c-variadic

…

frama-c-wp

…

lean-mathlib

sci-mathematics/lean-mathlib: remove empty longdescription

2021-10-24 17:41:33 +03:00

mathlib-tools

sci-mathematics/mathlib-tools: remove problematic tests

2021-10-25 16:51:19 +02:00

metamath

sci-mathematics/metamath: add verison 0.198

2021-10-22 00:24:17 +02:00

the-omega-project

…

why3

…