François-Xavier Carton 6e6f034d42 sci-mathematics/frama-c-wp: add why3<1.5.0 restriction ...

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

2022-05-07 19:46:34 +02:00

..

aspcud

sci-mathematics/aspcud: includedir for catch

2022-05-06 01:37:52 +02:00

chaco

…

clasp

sci-mathematics/clasp: includedir for catch2

2022-05-06 01:37:52 +02:00

clingo

sci-mathematics/clingo: add 5.5.2, drop 5.5.1-r1

2022-05-06 02:35:57 +02: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-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

sci-mathematics/frama-c-wp: add why3<1.5.0 restriction

2022-05-07 19:46:34 +02:00

lean-mathlib

sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318

2022-03-26 01:09:36 +01:00

mccs

sci-mathematics/mccs: respect AR

2022-05-03 22:21:34 +02:00

minisat+

sci-mathematics/minisat+: new package, add 2007.01.05

2022-04-29 03:47:58 +02:00

minisatp

sci-mathematics/minisatp: fix executable name

2022-05-06 01:37:52 +02:00

packup

sci-mathematics/packup: swap {R,}DEPEND logic

2022-04-29 03:52:42 +02:00

qepcad

sci-mathematics/qepcad: version with patches

2022-05-02 22:01:14 +02:00

radian

sci-mathematics/radian: fix patch name

2022-05-02 10:08:26 +02:00

the-omega-project

…