Andreas K. Hüttel 1bb4e3dd55 sci-mathematics/polymake: stabilize 4.6-r1 for amd64 ...

Closes: https://bugs.gentoo.org/866253
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>

2022-12-11 12:46:16 +01:00

..

4ti2

sci-mathematics/4ti2: align longdescription opening and closing tags

2022-10-20 04:52:44 +01:00

alectryon

…

alt-ergo

sci-mathematics/alt-ergo: remove seq reference from dune build file

2022-11-19 22:26:53 +01:00

arb

sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921

2022-11-18 19:29:16 +02:00

bertini

sci-mathematics/bertini: fix metadata indentation

2022-10-20 04:52:44 +01:00

cadabra

sci-mathematics/cadabra: drop old 2.4.0.2

2022-12-06 22:06:47 +01:00

cadical

sci-mathematics/cadical: bump to 1.5.3

2022-09-13 04:40:23 +02:00

calc

…

cgal

…

cliquer

…

coq

sci-mathematics/coq: drop old 8.11.2-r1

2022-11-26 16:30:59 +01:00

coq-mathcomp

sci-mathematics/coq-mathcomp: bump to 1.15.0

2022-09-07 14:17:44 +02:00

coq-serapi

sci-mathematics/coq-serapi: bump to 0.16.1

2022-10-31 04:44:24 +01:00

cryptominisat

…

cvc4

sci-mathematics/cvc4: add github upstream metadata

2022-12-05 14:32:33 +01:00

dataplot

sci-mathematics/dataplot: align longdescription opening and closing tags

2022-10-20 04:52:44 +01:00

diagrtb

sci-mathematics/diagrtb: align longdescription opening and closing tags

2022-10-20 04:52:44 +01:00

dsfmt

…

dunshire

…

easycrypt

…

eclib

sci-mathematics/eclib: drop 20210625

2022-10-20 17:57:54 -04:00

ent

…

euler

…

fann

…

flint

sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921

2022-11-18 19:29:16 +02:00

flintqs

…

form

…

fricas

…

frobby

…

genius

Move {virtual -> app-alternatives}/yacc

2022-12-02 21:09:48 +00:00

geogebra-bin

sci-mathematics/geogebra-bin: fix StaticSrcUri

2022-10-01 00:24:28 +01:00

geomview

…

gfan

…

giac

Move {virtual -> app-alternatives}/yacc

2022-12-02 21:09:48 +00:00

gimps

sci-mathematics/gimps: drop 30.8.16

2022-10-18 14:42:26 +02:00

ginac

…

glpk

sci-mathematics/glpk: keyword 5.0-r1 for ~loong

2022-12-04 17:22:25 +08:00

gmm

sci-mathematics/gmm: drop 5.1, 5.3

2022-09-16 19:58:04 +02:00

gmp-ecm

sci-mathematics/gmp-ecm: drop 7.0.4-r4

2022-11-19 19:48:44 -05:00

gp2c

…

gretl

sci-mathematics/gretl: align longdescription opening and closing tags

2022-10-20 04:52:45 +01:00

gsl-shell

sci-mathematics/gsl-shell: align longdescription opening and closing tags

2022-10-20 04:52:45 +01:00

jags

sci-mathematics/jags: add 4.3.1

2022-11-22 07:57:06 +00:00

lcalc

…

lean

sci-mathematics/lean: bump to 3.49.1

2022-11-18 23:15:13 +01:00

lpsolve

…

lrcalc

…

mathematica

…

mathlib-tools

sci-mathematics/mathlib-tools: bump to 1.3.1

2022-11-29 21:44:23 +01:00

mathmod

…

mathomatic

…

maxima

sci-mathematics/maxima: align longdescription opening and closing tags

2022-10-20 04:52:46 +01:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

sci-mathematics/nauty: drop 2.7.3

2022-10-29 09:27:08 -04:00

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: drop 5.2.0

2022-11-23 21:57:54 +01:00

octave-epstk

…

otter

sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16

2022-10-11 07:42:32 -04:00

pari

sci-mathematics/pari: add 2.15.1, drop 2.15.0

2022-11-23 20:02:37 -05:00

pari-data

…

petsc

…

picosat

sci-mathematics/picosat: fix patch apply

2022-12-06 07:22:11 +01:00

planarity

…

polymake

sci-mathematics/polymake: stabilize 4.6-r1 for amd64

2022-12-11 12:46:16 +01:00

primecount

sci-mathematics/primecount: drop 7.3

2022-10-20 16:01:17 -04:00

primesieve

sci-mathematics/primesieve: drop 7.9

2022-10-20 16:00:34 -04:00

prng

…

prover9

sci-mathematics/prover9: align longdescription opening and closing tags

2022-10-20 04:52:47 +01:00

psmt2-frontend

…

pspp

sci-mathematics/pspp: align longdescription opening and closing tags

2022-10-20 04:52:47 +01:00

relational

…

rkward

sci-mathematics/rkward: drop 0.7.4

2022-10-25 18:00:41 +02:00

rngstreams

sci-mathematics/rngstreams: use HTTPS

2022-12-03 06:06:08 +00:00

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: Stabilize 4.3.1_p1 amd64, #873052

2022-10-25 12:11:36 +01:00

slepc

…

smtinterpol

sci-mathematics/smtinterpol: fix QA BadDescription

2022-10-15 21:33:31 +02:00

spin

Move {virtual -> app-alternatives}/yacc

2022-12-02 21:09:48 +00:00

stp

sci-mathematics/stp: do not run C API tests

2022-11-06 21:10:54 +01:00

sympow

…

topcom

…

twelf

sci-mathematics/twelf: align longdescription opening and closing tags

2022-10-20 04:52:47 +01:00

unuran

sci-mathematics/unuran: add 1.9.0

2022-12-03 06:06:08 +00:00

vampire

sci-mathematics/vampire: depend on z3 version >=4.11.2

2022-09-23 13:43:56 +02:00

verit

…

why3

sci-mathematics/why3: bump to 1.5.1

2022-09-19 20:59:23 +02:00

why3-for-spark

sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12

2022-11-26 14:46:56 +01:00

wxmaxima

sci-mathematics/wxmaxima: align longdescription opening and closing tags

2022-10-20 04:52:48 +01:00

yacas

…

yafu

…

z3

sci-mathematics/z3: keyword 4.11.2 for ~loong

2022-11-27 10:45:03 +08:00

metadata.xml

…