François-Xavier Carton 323d2476f1 sci-mathematics/frama-c: bump to 25.0 ...

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

2022-08-19 19:30:31 +02:00

..

aspcud

sci-mathematics/aspcud: includedir for catch

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

chaco

sci-mathematics/chaco: fix octave file

2022-05-31 12:21:47 +02:00

clasp

sci-mathematics/clasp: add manpage

2022-06-02 03:23:30 +02:00

clingo

sci-mathematics/clingo: enable py3.11

2022-05-28 14:53:33 +02:00

frama-c

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-aorai

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-callgraph

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-constant-folding

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-dive

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-e-acsl

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-eva

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-from

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-impact

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-inout

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-instantiate

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-loopanalysis

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-metrics

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-nonterm

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-obfuscator

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-occurrence

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-pdg

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-postdominators

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-printapi

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-qed

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-reduc

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-report

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-rtegen

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-scope

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-security-slicing

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-server

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-slicing

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-sparecode

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-studia

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-users

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-variadic

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

frama-c-wp

sci-mathematics/frama-c: bump to 25.0

2022-08-19 19:30:31 +02:00

lean-mathlib

…

mccs

sci-mathematics/mccs: respect AR

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

minisat+

sci-mathematics/minisat+: update HOMEPAGE, SRC_URI

2022-06-05 11:12:15 +05: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: add subslot

2022-05-28 14:53:30 +02:00

radian

sci-mathematics/radian: bump python

2022-05-29 23:04:53 +02:00

the-omega-project

…