Eli Schwartz 1fcac3194b sci-mathematics/jags: make sure elibtoolize is applied ...

Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>

2024-08-05 20:18:31 -04:00

..

4ti2

…

abc

…

acl2

…

alectryon

…

alt-ergo

sci-mathematics/alt-ergo: remove broken live 9999

2024-07-17 17:46:31 +02:00

arb

…

bertini

…

boolector

…

btor2tools

…

cadabra

…

cadical

sci-mathematics/cadical: bump to 2.0.0

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

calc

…

cgal

sci-mathematics/cgal: add 6.0_beta1

2024-07-23 07:54:32 -05:00

cliquer

…

coq

…

coq-mathcomp

…

coq-serapi

…

cryptominisat

…

cubicle

…

cudd

…

cvc4

…

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: add missing die (thanks sam)

2024-08-04 22:30:51 -04:00

easycrypt

sci-mathematics/easycrypt: drop old 2023.09

2024-07-02 16:50:22 +02:00

eclib

…

ent

…

eprover

…

euler

…

fann

…

flint

sci-mathematics/flint: drop 3.0.1, 3.1.0

2024-08-03 09:48:41 -04:00

flocq

…

form

…

fricas

sci-mathematics/fricas: remove old revision

2024-07-01 01:04:38 +07:00

frobby

…

gap

sci-mathematics/gap: drop 4.13.0

2024-07-14 18:52:11 -04:00

gappa

…

gappalib-coq

…

genius

…

geogebra-bin

…

geomview

…

gfan

…

giac

…

gimps

sci-mathematics/gimps: Version bump to 30.19.20

2024-07-13 10:34:49 +03:00

ginac

…

glpk

…

gmm

…

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: update metadata.xml

2024-07-31 11:23:11 +02:00

jags

sci-mathematics/jags: make sure elibtoolize is applied

2024-08-05 20:18:31 -04:00

kind2

…

kissat

…

lcalc

…

lean

…

libpoly

sci-mathematics/libpoly: enable py3.12

2024-07-31 11:23:07 +02:00

lpsolve

…

lrcalc

…

mathematica

sci-mathematics/mathematica: add 14.0.0

2024-07-30 16:20:36 +02:00

mathlib-tools

sci-mathematics/mathlib-tools: enable py3.12

2024-07-31 11:23:07 +02:00

mathmod

…

mathomatic

…

maxima

…

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

sci-mathematics/nauty: reorder $S for pkgcheck

2024-07-14 18:41:49 -04:00

nestedsums

…

normaliz

…

num-utils

…

octave

sci-mathematics/octave: bump to version 9.2.0

2024-07-02 13:47:38 +02:00

octave-epstk

…

opensmt

…

otter

…

palp

…

pari

sci-mathematics/pari: drop 2.15.4-r1

2024-07-14 18:39:14 -04:00

pari-data

…

petsc

sci-mathematics/petsc: remove outdated LTO workaround

2024-07-22 23:32:33 -04:00

picosat

…

planarity

…

plfit

…

polymake

…

primecount

sci-mathematics/primecount: backport gcc-15 build fix

2024-07-30 16:28:25 -04:00

primesieve

sci-mathematics/primesieve: missing doc dep texlive-latexextra

2024-07-28 12:20:41 -04:00

prng

…

prover9

…

proverif

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: enable py3.12

2024-07-31 11:23:08 +02:00

rkward

sci-mathematics/rkward: add 0.8.0

2024-07-30 23:30:59 +02:00

rngstreams

…

rw

…

sha1-polyml

…

singular

…

slepc

sci-mathematics/slepc: add 3.21.1

2024-07-03 18:28:09 -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

…

twelf

…

unuran

…

vampire

…

verifpal

…

verit

…

why3

…

why3-for-spark

…

wxmaxima

sci-mathematics/wxmaxima: call setup-wxwidgets from src_configure

2024-07-03 12:48:40 +07:00

yacas

…

yafu

…

yices2

…

z3

…

metadata.xml

…