GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/lean: bump to 3.49.1
Maciej Barć
2022-11-18
2
-0
/
+78
*
sci-mathematics/gmp-ecm: Keyword 7.0.5-r1 ppc64, #871921
Arthur Zamarin
2022-11-18
1
-1
/
+1
*
sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921
Arthur Zamarin
2022-11-18
1
-1
/
+1
*
sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921
Arthur Zamarin
2022-11-18
1
-1
/
+1
*
sci-mathematics/octave: fix build loop with USE=doc & texinfo-7.0
Sam James
2022-11-15
2
-0
/
+46
*
sci-mathematics/mathlib-tools: bump to 1.3.0
Maciej Barć
2022-11-13
2
-0
/
+54
*
sci-mathematics/mathlib-tools: drop old 1.1.2-r1
Maciej Barć
2022-11-13
2
-52
/
+0
*
sci-mathematics/mathlib-tools: drop old 1.1.1-r1
Maciej Barć
2022-11-13
2
-51
/
+0
*
sci-mathematics/lean: drop old 3.46.0
Maciej Barć
2022-11-12
2
-78
/
+0
*
sci-mathematics/lean: bump to 3.49.0
Maciej Barć
2022-11-12
2
-0
/
+78
*
sci-mathematics/cvc4: drop toml usage
Alfredo Tupone
2022-11-11
2
-3
/
+52
*
sci-mathematics/giac: drop 1.7.0.47, 1.9.0.5, 1.9.0.21
François Bissey
2022-11-10
4
-507
/
+0
*
sci-mathematics/giac: add 1.9.0.29
François Bissey
2022-11-10
2
-0
/
+173
*
sci-mathematics/octave: new revision fixing some dependency issues.
Michael Orlitzky
2022-11-09
2
-11
/
+38
*
sci-mathematics/stp: do not run C API tests
Maciej Barć
2022-11-06
1
-1
/
+3
*
sci-mathematics/octave: Stabilize 6.4.0-r3 arm, #854489
Sam James
2022-11-05
1
-1
/
+1
*
sci-mathematics/octave: add 7.3.0
Sam James
2022-11-05
2
-0
/
+209
*
sci-mathematics/coq-serapi: bump to 0.16.1
Maciej Barć
2022-10-31
2
-0
/
+67
*
sci-mathematics/nauty: drop 2.7.3
Michael Orlitzky
2022-10-29
2
-78
/
+0
*
sci-mathematics/nauty: Stabilize 2.7.4 x86, #877789
Sam James
2022-10-28
1
-1
/
+1
*
sci-mathematics/cadabra: drop old 2.4.2
Maciej Barć
2022-10-27
2
-105
/
+0
*
sci-mathematics/cadabra: bump to 2.4.2.1
Maciej Barć
2022-10-27
2
-0
/
+105
*
sci-mathematics/coq-serapi: remove seq dependency
Maciej Barć
2022-10-27
1
-1
/
+0
*
sci-mathematics/cadabra: bump to 2.4.2
Maciej Barć
2022-10-27
2
-0
/
+105
*
sci-mathematics/rkward: drop 0.7.4
Andreas Sturmlechner
2022-10-25
2
-58
/
+0
*
sci-mathematics/singular: Stabilize 4.3.1_p1 amd64, #873052
Sam James
2022-10-25
1
-1
/
+1
*
sci-mathematics/nauty: Stabilize 2.7.4 amd64, #877789
Sam James
2022-10-25
1
-1
/
+1
*
sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517
Maciej Barć
2022-10-23
2
-0
/
+2
*
sci-mathematics/mathlib-tools: drop old 1.1.0-r1
Maciej Barć
2022-10-23
2
-50
/
+0
*
sci-mathematics/mathlib-tools: bump to 1.2.0
Maciej Barć
2022-10-23
2
-0
/
+52
*
sci-mathematics/rkward: add 0.7.5
Andreas Sturmlechner
2022-10-22
2
-0
/
+58
*
sci-mathematics/eclib: drop 20210625
Michael Orlitzky
2022-10-20
2
-36
/
+0
*
sci-mathematics/primecount: drop 7.3
Michael Orlitzky
2022-10-20
2
-55
/
+0
*
sci-mathematics/primecount: stabilize 7.4 for amd64
Michael Orlitzky
2022-10-20
1
-1
/
+1
*
sci-mathematics/primesieve: drop 7.9
Michael Orlitzky
2022-10-20
2
-51
/
+0
*
sci-mathematics/primesieve: stabilize 8.0 for amd64
Michael Orlitzky
2022-10-20
1
-1
/
+1
*
sci-mathematics/wxmaxima: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-6
/
+6
*
sci-mathematics/twelf: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-4
/
+4
*
sci-mathematics/pspp: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/prover9: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/pari: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-3
/
+2
*
sci-mathematics/nauty: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-4
/
+4
*
sci-mathematics/maxima: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/jags: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/gsl-shell: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/gretl: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/glpk: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/diagrtb: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/dataplot: align longdescription opening and closing tags
Petr Vaněk
2022-10-20
1
-1
/
+1
*
sci-mathematics/bertini: fix metadata indentation
Petr Vaněk
2022-10-20
1
-4
/
+4
[next]