gentoo

4ti2

sci-mathematics/4ti2: keyword 1.6.7-r1 for ~riscv

2021-12-29 21:40:18 +08:00

agda

…

agda-stdlib

…

alectryon

sci-mathematics/alectryon: new package; add 1.4.0

2022-03-05 05:40:58 +01:00

alt-ergo

sci-mathematics/alt-ergo: amd64 stable wrt bug #834375

2022-03-02 10:04:39 +01:00

arb

sci-mathematics/arb: bump to 2.22.1

2022-02-02 18:30:34 +07:00

bertini

…

cadabra

sci-mathematics/cadabra: add glibmm to unconditional deps

2022-03-02 07:58:58 +01:00

cadical

**/metadata.xml: Replace http by https in DOCTYPE element

2022-01-25 19:37:45 +01:00

calc

sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526

2022-03-12 11:47:44 +02:00

cgal

…

cliquer

sci-mathematics/cliquer: keyword 1.22 for ~riscv

2021-12-29 21:40:04 +08:00

coq

sci-mathematics/coq: re-add ~x86 keyword dropped by mistake

2022-03-13 14:18:58 +01:00

coq-mathcomp

sci-mathematics/coq-mathcomp: new package; add 1.14.0

2022-03-05 05:40:57 +01:00

coq-serapi

sci-mathematics/coq-serapi: new package; add 0.15.0

2022-03-05 05:40:57 +01:00

cryptominisat

sci-mathematics/cryptominisat: new package; add version 5.8.0

2021-12-26 20:52:23 +01:00

cvc4

sci-mathematics/cvc4: fix deps check

2022-02-17 15:10:32 +01:00

dataplot

…

diagrtb

…

dsfmt

…

dunshire

…

easycrypt

sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)

2022-03-04 12:12:06 +01:00

eclib

…

ent

…

euler

…

fann

sci-mathematics/fann: fix DeprecatedInsinto

2022-02-13 22:07:33 +01:00

flint

sci-mathematics/flint: Stabilize 2.8.4 x86, #831415

2022-01-18 22:50:21 +01:00

flintqs

…

form

…

fricas

…

frobby

…

genius

…

geogebra-bin

sci-mathematics/geogebra-bin: add 5.0.683.0

2022-01-22 17:57:47 -08:00

geomview

…

gfan

sci-mathematics/gfan: remove old "unused" ebuilds.

2022-01-27 08:29:07 -05:00

giac

sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild.

2022-02-02 19:21:07 -05:00

gimps

sci-mathematics/gimps: Stabilize 30.7.9 amd64, #835335

2022-03-15 20:43:20 +01:00

ginac

sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextra

2022-02-02 22:40:15 +07:00

glpk

…

gmm

…

gmp-ecm

…

gp2c

…

gretl

…

gsl-shell

sci-mathematics/gsl-shell: add version 2.3.2

2022-03-02 12:00:06 +01:00

jags

…

lcalc

sci-mathematics/lcalc: fix RDEPEND typo

2022-03-10 23:06:06 +00:00

lean

sci-mathematics/lean: bump to 3.42.0

2022-03-18 20:37:48 +01:00

lpsolve

…

lrcalc

sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376

2022-03-07 15:32:19 +01:00

mathematica

sci-mathematics/mathematica: drop unused unpacker.eclass

2022-01-28 00:36:12 +01:00

mathlib-tools

sci-mathematics/mathlib-tools: add python3.10 compat

2022-03-09 00:27:56 +01:00

mathmod

…

mathomatic

sci-mathematics/mathomatic: [QA] fix tc-get* quoting

2022-03-20 00:06:55 +00:00

maxima

…

metamath

**/metadata.xml: Replace http by https in DOCTYPE element

2022-01-25 19:37:45 +01:00

metamath-databases

sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 snapshot)

2022-03-03 05:55:06 +01:00

minisat

sci-mathematics/minisat: reformat metadata.xml

2022-01-24 10:32:16 +01:00

msieve

sci-mathematics/msieve: fix build system

2022-01-29 01:00:16 +01:00

nauty

sci-mathematics/nauty: remove old "unused" ebuilds.

2022-01-18 20:45:16 -05:00

nestedsums

…

normaliz

sci-mathematics/normaliz: keyword 3.8.10-r1 for ~riscv

2021-12-29 21:40:11 +08:00

num-utils

…

octave

sci-mathematics/octave: add upstream patch for slibtool support.

2022-03-17 10:26:22 -04:00

octave-epstk

…

otter

…

pari

sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild.

2022-01-20 09:18:56 -05:00

pari-data

…

petsc

sci-mathematics/petsc: EAPI 8

2022-01-04 16:16:58 +01:00

planarity

…

polymake

sci-mathematics/polymake: Stabilize 4.6 amd64, #832376

2022-02-07 11:25:58 +01:00

primecount

sci-mathematics/primecount: maintainer stabilize on amd64.

2022-01-30 09:36:47 -05:00

primesieve

sci-mathematics/primesieve: maintainer stabilize on amd64.

2022-01-30 09:36:12 -05:00

prng

…

prover9

…

psmt2-frontend

sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375

2022-03-02 10:04:42 +01:00

pspp

…

relational

…

rkward

sci-mathematics/rkward: Drop 0.7.2 (r0)

2022-01-07 15:21:38 +01:00

rngstreams

…

rstudio

…

rw

…

sha1-polyml

…

singular

sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376

2022-02-07 11:25:56 +01:00

slepc

…

smtinterpol

**/metadata.xml: Replace http by https in DOCTYPE element

2022-01-25 19:37:45 +01:00

spin

sci-mathematics/spin: backport upstream fix for CVE-2021-46168

2022-01-16 08:57:12 +00:00

stp

sci-mathematics/stp: multiple fixes

2021-12-27 14:08:10 +01:00

sympow

…

topcom

sci-mathematics/topcom: keyword 0.17.8-r1 for ~riscv

2021-12-29 21:40:22 +08:00

twelf

…

unuran

…

vampire

**/metadata.xml: Replace http by https in DOCTYPE element

2022-01-25 19:37:45 +01:00

verit

sci-mathematics/verit: [QA] fix UnusedInherits (autotools)

2022-03-10 21:09:38 +00:00

why3

sci-mathematics/why3: bump to 1.4.1

2022-03-04 12:02:09 +01:00

why3-for-spark

sci-mathematics/why3-for-spark: add USE to select sexp

2022-03-11 22:01:12 +01:00

wxmaxima

…

yacas

sci-mathematics/yacas: add version 1.9.1

2022-02-19 14:22:22 +01:00

yafu

sci-mathematics/yafu: Add openmp dependency

2022-01-23 14:07:48 +00:00

z3

sci-mathematics/z3: Bump to 4.8.15

2022-03-21 09:54:36 +01:00

metadata.xml

…