Maciej Barć 57c9698e1d sci-mathematics/stp: build tweaks ...

Closes: https://bugs.gentoo.org/880135
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

2024-06-29 01:27:08 +02:00

..

4ti2

…

abc

…

acl2

sci-mathematics/acl2: fix find call

2024-03-08 12:55:09 +01:00

alectryon

sci-mathematics/alectryon: enable py3.12 compat

2024-04-29 20:57:28 +02:00

alt-ergo

…

arb

…

bertini

…

boolector

sci-mathematics/boolector: fix install on musl

2024-04-09 11:30:07 +02:00

btor2tools

…

cadabra

sci-mathematics/cadabra: bump to 2.4.5.7

2024-04-23 00:31:27 +02:00

cadical

sci-mathematics/cadical: bump to 2.0.0

2024-06-28 00:42:21 +02:00

calc

…

cgal

sci-mathematics/cgal: drop 5.5, 5.5.2

2024-02-20 21:48:18 +01:00

cliquer

…

coq

sci-mathematics/coq: bump to 8.19.2

2024-06-10 15:59:42 +02:00

coq-mathcomp

sci-mathematics/coq-mathcomp: drop old 1.17.0

2024-03-04 22:56:45 +01:00

coq-serapi

sci-mathematics/coq-serapi: drop old 0.18.1

2024-03-04 22:56:45 +01:00

cryptominisat

sci-mathematics/cryptominisat: enable python support

2024-06-13 01:40:24 +02:00

cubicle

sci-mathematics/cubicle: ignore TEXTRELS

2024-06-04 20:24:58 +02:00

cudd

…

cvc4

sci-mathematics/cvc4: fix musl build

2024-05-20 15:03:54 +02:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: add 0.1.3, drop 0.1.1-r4

2024-04-20 15:36:14 -04:00

easycrypt

sci-mathematics/easycrypt: bump to 2024.01

2024-02-03 14:00:12 +01:00

eclib

sci-mathematics/eclib: drop 20230424

2024-02-08 19:16:16 -05:00

ent

…

eprover

sci-mathematics/eprover: fix build on musl

2024-02-19 21:54:33 +01:00

euler

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

fann

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

flint

sci-mathematics/flint: drop 2.9.0

2024-06-26 18:20:04 -04:00

flocq

…

form

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

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

fricas

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

frobby

…

gap

sci-mathematics/gap: add 4.13.1

2024-06-13 21:30:04 -04: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

…

geomview

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

gfan

sci-mathematics/gfan: mark as LTO-unsafe

2024-03-22 05:31:50 +00:00

giac

sci-mathematics/giac: remove unused patches

2024-03-16 13:13:23 +01:00

gimps

sci-mathematics/gimps: drop 30.7.9, 30.19.13

2024-04-14 16:06:28 +00:00

ginac

sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044

2024-05-29 12:46:05 +01:00

glpk

sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafe

2024-03-05 04:47:50 +00:00

gmm

…

gmp-ecm

…

gp2c

…

gretl

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

gsl-shell

…

jags

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

kind2

…

kissat

…

lcalc

…

lean

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

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

libpoly

…

lpsolve

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

lrcalc

…

mathematica

…

mathlib-tools

…

mathmod

sci-mathematics/mathmod: add missing remote-id

2024-05-26 23:29:02 +02:00

mathomatic

…

maxima

sci-mathematics/maxima: add python3_12

2024-06-04 13:32:47 +07:00

metamath

…

metamath-databases

…

minisat

…

msieve

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

nauty

sci-mathematics/nauty: fix build with autoconf-2.72

2024-03-11 21:59:17 -04:00

nestedsums

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

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

normaliz

…

num-utils

…

octave

sci-mathematics/octave: fix qscintilla dep #916232

2024-04-16 19:29:06 +03:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: fix libdir on glibc only

2024-02-19 16:30:32 +01:00

otter

…

palp

sci-mathematics/palp: stabilize 2.21 for amd64

2024-06-06 10:53:36 -04:00

pari

sci-mathematics/pari: add 2.15.5

2024-03-12 14:39:57 -04:00

pari-data

…

petsc

sci-mathematics/petsc: add subslot dep on sci-libs/hdf5

2024-04-23 21:34:39 +01:00

picosat

…

planarity

…

plfit

sci-mathematics/plfit: add 0.9.5, drop 0.9.4

2024-03-09 07:00:22 -05:00

polymake

sci-mathematics/polymake: Stabilize 4.11 amd64, #922874

2024-02-10 01:48:38 -05:00

primecount

…

primesieve

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

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

prng

…

prover9

sci-mathematics/prover9: fix tests; bump to EAPI 8

2024-02-14 18:01:37 +01:00

proverif

sci-mathematics/proverif: use edo instead of edob

2024-05-24 00:08:07 +02:00

psmt2-frontend

sci-mathematics/psmt2-frontend: remove unused patch(es)

2024-03-16 13:13:23 +01:00

pspp

…

rkward

…

rngstreams

…

rw

…

sha1-polyml

*/*: Reassign gienah's packages

2024-02-14 10:50:24 +01:00

singular

sci-mathematics/singular: fix dependency on flint

2024-06-02 08:28:57 -04:00

slepc

sci-mathematics/slepc: add 3.20.1

2024-04-04 22:51:26 -05:00

smtinterpol

…

spin

*/*: Reassign marecki's packages

2024-06-28 13:12:17 +02:00

stp

sci-mathematics/stp: build tweaks

2024-06-29 01:27:08 +02:00

sympow

…

topcom

sci-mathematics/topcom: add 1.1.2

2024-05-15 17:42:09 -04:00

twelf

*/*: Reassign gienah's packages

2024-02-14 10:50:24 +01:00

unuran

…

vampire

…

verifpal

…

verit

…

why3

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: commit 24.02.1 back

2024-05-30 21:12:50 +07:00

yacas

…

yafu

*/*: inline mirror://sourceforge

2024-04-30 20:21:05 +02:00

yices2

…

z3

sci-mathematics/z3: Keyword 4.13.0 mips, #779742

2024-06-04 20:43:37 +03:00

metadata.xml

…