Sam James 0328e69ba6 sci-mathematics/cgal: Stabilize 5.6 amd64, #923366 ...

Signed-off-by: Sam James <sam@gentoo.org>

2024-01-31 09:18:41 +00:00

..

4ti2

…

abc

…

acl2

…

alectryon

…

alt-ergo

sci-mathematics/alt-ergo: remove unused patch

2023-10-01 17:37:29 +02:00

arb

sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176

2023-11-25 05:27:37 +00:00

bertini

sci-mathematics/bertini: sys-devel/bison -> app-alternatives/yacc

2024-01-08 12:25:11 +00:00

boolector

sci-mathematics/boolector: bump to 3.2.3

2023-11-02 23:11:22 +01:00

btor2tools

sci-mathematics/btor2tools: patch includes

2023-11-02 23:11:22 +01:00

cadabra

sci-mathematics/cadabra: bump to 2.4.5.4

2024-01-25 21:03:57 +01:00

cadical

sci-mathematics/cadical: bump to 1.8.0

2023-10-08 00:39:05 +02:00

calc

…

cgal

sci-mathematics/cgal: Stabilize 5.6 amd64, #923366

2024-01-31 09:18:41 +00:00

cliquer

sci-mathematics/cliquer: update LICENSE

2023-11-22 17:25:56 -05:00

coq

sci-mathematics/coq: bump to 8.19.0

2024-01-25 04:21:35 +01:00

coq-mathcomp

sci-mathematics/coq-mathcomp: bump to 1.19.0

2024-01-15 22:20:39 +01:00

coq-serapi

sci-mathematics/coq-serapi: drop old 0.17.0

2024-01-15 22:20:39 +01:00

cryptominisat

sci-mathematics/cryptominisat: bump to 5.11.15

2023-10-22 10:46:55 +02:00

cubicle

…

cudd

…

cvc4

sci-mathematics/cvc4: PythonCompatUpdate

2024-01-19 22:31:45 +01:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: update HOMEPAGE (http -> https)

2023-11-14 19:24:20 -05:00

easycrypt

sci-mathematics/easycrypt: bump to 2023.09

2023-09-30 16:33:59 +02:00

eclib

sci-mathematics/eclib: add 20231212

2024-01-06 20:38:26 -05:00

ent

…

eprover

sci-mathematics/eprover: bump to 3.0.03

2024-01-15 22:20:41 +01:00

euler

…

fann

…

flint

sci-mathematics/flint: add 3.0.1

2023-12-23 23:18:14 -05:00

flocq

…

form

Move {app-doc → app-text}/doxygen

2024-01-12 15:36:00 +01:00

fricas

sci-mathematics/fricas: bump to 1.3.10

2024-01-11 16:49:04 +07:00

frobby

…

gap

sci-mathematics/gap: use a bash array for econf args

2024-01-22 06:29:25 -05:00

gappa

sci-mathematics/gappa: bump to 1.4.2

2024-01-15 22:20:41 +01:00

gappalib-coq

…

genius

Move {sys-devel → dev-build}/autoconf-archive

2024-01-15 16:58:23 +01:00

geogebra-bin

sci-mathematics/geogebra-bin: sort keywords

2024-01-10 14:34:46 +01:00

geomview

…

gfan

…

giac

sci-mathematics/giac: update LICENSE

2023-11-22 17:41:57 -05:00

gimps

…

ginac

Move {app-doc → app-text}/doxygen

2024-01-12 15:36:00 +01:00

glpk

sci-mathematics/glpk: update EAPI 7 -> 8, add libltdl dep

2024-01-10 13:15:58 -05:00

gmm

…

gmp-ecm

sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178

2023-11-24 17:12:11 +02:00

gp2c

…

gretl

…

gsl-shell

…

jags

…

kind2

…

kissat

sci-mathematics/kissat: drop old 3.0.0

2023-10-11 02:19:38 +02:00

lcalc

…

lean

sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367

2024-01-18 17:23:39 +00:00

libpoly

…

lpsolve

…

lrcalc

…

mathematica

profiles/use.desc: Make USE=cuda global

2023-12-26 11:46:05 +01:00

mathlib-tools

…

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: update LICENSE

2023-11-22 18:17:29 -05:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

sci-mathematics/nauty: drop 2.8.6-r1

2024-01-22 11:54:06 -05:00

nestedsums

Move {app-doc → app-text}/doxygen

2024-01-12 15:36:00 +01:00

normaliz

sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149

2023-12-16 18:17:14 +02:00

num-utils

…

octave

sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280

2023-12-17 17:39:46 +00:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: sys-devel/bison -> app-alternatives/yacc

2024-01-08 12:25:11 +00:00

otter

…

pari

sci-mathematics/pari: update LICENSE

2023-11-22 17:05:11 -05:00

pari-data

…

petsc

Move {dev-util → dev-build}/cmake

2024-01-14 20:23:32 +01:00

picosat

…

planarity

…

plfit

sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125

2023-12-16 18:17:01 +02:00

polymake

sci-mathematics/polymake: re-enable the test suite

2023-11-13 21:24:30 -05:00

primecount

…

primesieve

Move {app-doc → app-text}/doxygen

2024-01-12 15:36:00 +01:00

prng

…

prover9

…

proverif

sci-mathematics/proverif: bump to 2.05

2023-12-10 20:16:34 +01:00

psmt2-frontend

…

pspp

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: drop 4.3.2_p1

2024-01-22 12:00:10 -05:00

slepc

Move {dev-util → dev-build}/cmake

2024-01-14 20:23:32 +01:00

smtinterpol

…

spin

…

stp

…

sympow

…

topcom

…

twelf

…

unuran

…

vampire

sci-mathematics/vampire: drop old 4.7-r1

2023-08-22 16:32:25 +02:00

verifpal

sci-mathematics/verifpal: new package; add 0.27.0

2023-08-13 21:26:09 +02:00

verit

…

why3

…

why3-for-spark

sci-mathematics/why3-for-spark: require ocamlopt

2023-12-29 23:43:55 +01:00

wxmaxima

sci-mathematics/wxmaxima: remove old version

2023-12-26 18:47:03 +07:00

yacas

sci-mathematics/yacas: update upstream metadata

2023-08-16 16:13:03 -04:00

yafu

…

yices2

…

z3

sci-mathematics/z3: Bump to 4.12.5

2024-01-22 04:32:11 +01:00

metadata.xml

…