gentoo

4ti2

sci-mathematics/4ti2: destabilize for ~x86

2023-06-09 17:46:14 +03:00

abc

sci-mathematics/abc: new package; add 0_p20230313 and live

2023-03-13 22:37:56 +01:00

acl2

sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update

2023-05-25 19:52:42 +02:00

alectryon

…

alt-ergo

sci-mathematics/alt-ergo: add live version

2023-06-04 15:39:41 +02:00

arb

sci-mathematics/arb: destabilize for ~x86

2023-06-09 17:46:14 +03:00

bertini

…

boolector

…

btor2tools

…

cadabra

sci-mathematics/cadabra: gtk -> gui; minor tweaks

2023-04-23 01:18:25 +02:00

cadical

…

calc

…

cgal

sci-mathematics/cgal: destabilize for ~x86

2023-06-09 17:46:14 +03:00

cliquer

sci-mathematics/cliquer: destabilize for ~x86

2023-06-09 17:46:14 +03:00

coq

sci-mathematics/coq: destabilize for ~x86

2023-06-09 17:46:15 +03:00

coq-mathcomp

sci-mathematics/coq-mathcomp: drop old 1.14.0-r2

2023-04-11 16:17:02 +02:00

coq-serapi

sci-mathematics/coq-serapi: bump to 0.17.0

2023-04-10 20:49:23 +02:00

cryptominisat

sci-mathematics/cryptominisat: fix build with GCC 13

2023-04-18 15:55:09 +02:00

cubicle

…

cudd

…

cvc4

…

dataplot

…

diagrtb

…

dsfmt

…

dunshire

sci-mathematics/dunshire: Use pypi.eclass

2023-03-16 19:50:27 +01:00

easycrypt

sci-mathematics/easycrypt: drop old 2022.04-r1

2023-04-02 00:54:46 +02:00

eclib

sci-mathematics/eclib: destabilize for ~x86

2023-06-09 17:46:15 +03:00

ent

sci-mathematics/ent: destabilize for ~x86

2023-06-09 17:46:15 +03:00

eprover

…

euler

sci-mathematics/euler: destabilize for ~x86

2023-06-09 17:46:15 +03:00

fann

…

flint

sci-mathematics/flint: destabilize for ~x86

2023-06-09 17:46:16 +03:00

flintqs

sci-mathematics/flintqs: destabilize for ~x86

2023-06-09 17:46:16 +03:00

flocq

sci-mathematics/flocq: ignore CFLAGS for ML/Coq code

2023-04-11 16:17:01 +02:00

form

sci-mathematics/form: added myself as a maintainer

2023-05-25 15:36:49 +07:00

fricas

sci-mathematics/fricas: remove old

2023-03-27 17:14:53 +07:00

frobby

sci-mathematics/frobby: destabilize for ~x86

2023-06-09 17:46:16 +03:00

gappa

…

gappalib-coq

sci-mathematics/gappalib-coq: bump to 1.5.3

2023-04-10 20:49:22 +02:00

genius

…

geogebra-bin

…

geomview

…

gfan

sci-mathematics/gfan: destabilize for ~x86

2023-06-09 17:46:16 +03:00

giac

…

gimps

sci-mathematics/gimps: destabilize for ~x86

2023-06-09 17:46:17 +03:00

ginac

sci-mathematics/ginac: destabilize for ~x86

2023-06-09 17:50:07 +03:00

glpk

sci-mathematics/glpk: destabilize for ~ppc

2023-06-03 14:12:47 +03:00

gmm

sci-mathematics/gmm: destabilize for ~x86

2023-06-09 17:46:17 +03:00

gmp-ecm

sci-mathematics/gmp-ecm: destabilize for ~x86

2023-06-09 17:46:17 +03:00

gp2c

…

gretl

…

gsl-shell

…

jags

sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183

2023-06-10 05:19:00 +01:00

kind2

sci-mathematics/kind2: new package; add 1.9.0

2023-06-03 18:55:36 +02:00

kissat

…

lcalc

…

lean

sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180

2023-05-26 08:14:47 +01:00

libpoly

…

lpsolve

sci-mathematics/lpsolve: drop 5.5.2.0-r1

2023-05-03 19:38:02 +02:00

lrcalc

sci-mathematics/lrcalc: destabilize for ~x86

2023-06-09 17:46:18 +03:00

mathematica

…

mathlib-tools

…

mathmod

…

mathomatic

sci-mathematics/mathomatic: destabilize for ~x86

2023-06-09 17:46:18 +03:00

maxima

sci-mathematics/maxima: destabilize for ~x86

2023-06-09 17:46:18 +03:00

metamath

…

metamath-databases

…

minisat

…

msieve

…

nauty

sci-mathematics/nauty: destabilize for ~x86

2023-06-09 17:50:08 +03:00

nestedsums

…

normaliz

sci-mathematics/normaliz: destabilize for ~x86

2023-06-09 17:50:07 +03:00

num-utils

sci-mathematics/num-utils: destabilize for ~x86

2023-06-09 17:46:24 +03:00

octave

sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186

2023-06-09 20:05:50 +03:00

octave-epstk

…

opensmt

sci-mathematics/opensmt: bump to 2.5.0

2023-04-15 19:21:54 +02:00

otter

sci-mathematics/otter: destabilize for ~x86

2023-06-09 17:46:25 +03:00

pari

sci-mathematics/pari-data: destabilize for ~x86

2023-06-09 17:49:59 +03:00

pari-data

sci-mathematics/pari-data: destabilize for ~x86

2023-06-09 17:49:59 +03:00

petsc

sci-mathematics/petsc: add 3.19.1

2023-05-07 13:59:02 -05:00

picosat

…

planarity

sci-mathematics/planarity: destabilize for ~x86

2023-06-09 17:49:59 +03:00

plfit

sci-mathematics/plfit: new package, add 0.9.3

2023-05-22 16:05:15 -04:00

polymake

sci-mathematics/polymake: destabilize for ~x86

2023-06-09 17:49:59 +03:00

primecount

…

primesieve

…

prng

sci-mathematics/prng: destabilize for ~x86

2023-06-09 17:49:59 +03:00

prover9

…

psmt2-frontend

…

pspp

sci-mathematics/pspp: destabilize for ~x86

2023-06-09 17:50:00 +03:00

rkward

sci-mathematics/rkward: use virtual/pandoc

2023-06-08 23:34:27 +01:00

rngstreams

sci-mathematics/rngstreams: destabilize for ~x86

2023-06-09 17:50:00 +03:00

rw

sci-mathematics/rw: destabilize for ~x86

2023-06-09 17:50:00 +03:00

sha1-polyml

…

singular

sci-mathematics/singular: destabilize for ~x86

2023-06-09 17:50:01 +03:00

slepc

sci-mathematics/slepc: update SRC_URI and fix USE=doc

2023-05-07 13:59:02 -05:00

smtinterpol

…

spin

…

stp

…

sympow

…

topcom

…

twelf

…

unuran

sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185

2023-06-09 16:42:19 +00:00

vampire

…

verit

…

why3

sci-mathematics/why3: drop old 1.5.0-r1

2023-04-02 00:35:48 +02:00

why3-for-spark

sci-mathematics/why3-for-spark: fix NOTPARALLEL

2023-04-03 08:21:06 +02:00

wxmaxima

sci-mathematics/wxmaxima: destabilize for ~x86

2023-06-09 17:50:01 +03:00

yacas

…

yafu

…

yices2

…

z3

sci-mathematics/z3: Remove old

2023-04-08 20:45:13 +02:00

metadata.xml

…