David Roman 6be487bc1d sci-mathematics/frama-c-wp: treeclean ...

Signed-off-by: David Roman <davidroman96@gmail.com>

2023-10-05 14:29:04 +02:00

..

aspcud

…

chaco

…

clasp

…

clingo

*/*: drop dead py3.9 impl

2023-05-02 00:45:35 +05:00

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-reduc

…

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

…

lean-mathlib

…

minisat+

*/*: fix MissingRemoteId in metadata.xml

2023-06-27 04:24:02 +02:00

minisatp

…

packup

…

pyromaths

*/*: drop dead py3.9 impl

2023-05-02 00:45:35 +05:00

qepcad

*/*: fix MissingRemoteId in metadata.xml

2023-06-27 04:24:02 +02:00

radian

*/*: drop dead py3.9 impl

2023-05-02 00:45:35 +05:00

rstudio-desktop-bin

sci-mathematics/rstudio-desktop-bin: add 2023.09.0_p463, drop 2022.12.0_p353

2023-09-30 15:27:42 +02:00

the-omega-project

*/*: fix MissingRemoteId in metadata.xml

2023-06-27 04:24:02 +02:00