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/gmp-ecm: fix qa WhitespaceFound
Conrad Kostecki
2022-05-14
1
-2
/
+2
*
sci-mathematics/normaliz: new upstream version 3.9.3.
Michael Orlitzky
2022-05-08
3
-1
/
+71
*
sci-mathematics/topcom: new revision to fix gmp dependency.
Michael Orlitzky
2022-05-07
1
-1
/
+2
*
sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild.
Michael Orlitzky
2022-05-07
3
-381
/
+0
*
sci-mathematics/topcom: new revision with miscellaneous fixes.
Michael Orlitzky
2022-05-07
3
-73
/
+181
*
sci-mathematics/easycrypt: add Why3 constraints for older EC versions
Maciej Barć
2022-05-07
2
-2
/
+2
*
sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2
Maciej Barć
2022-05-07
2
-46
/
+0
*
sci-mathematics/easycrypt: bump to 2022.04_p20220505
Maciej Barć
2022-05-07
2
-0
/
+46
*
sci-mathematics/why3: bump to 1.5.0
François-Xavier Carton
2022-05-07
3
-0
/
+105
*
sci-mathematics/octave: don't install *.la files.
Michael Orlitzky
2022-05-07
1
-0
/
+2
*
sci-mathematics/gmp-ecm: upstream bump
François Bissey
2022-05-06
3
-0
/
+67
*
sci-mathematics/z3: Bump to 4.8.17
Michał Górny
2022-05-05
2
-0
/
+109
*
sci-mathematics/octave: fix Java dependency
Sam James
2022-05-05
1
-2
/
+2
*
sci-mathematics/octave: add rapidjson USE flag
Sam James
2022-05-05
2
-2
/
+5
*
sci-mathematics/octave: tidy up 7.1.0
Sam James
2022-05-05
1
-21
/
+14
*
sci-mathematics/octave: fix patch filename
Sam James
2022-05-05
2
-2
/
+2
*
sci-mathematics/octave: unkeyword 7.1.0
Sam James
2022-05-05
1
-1
/
+2
*
sci-mathematics/octave: patch 6.4.0 for Qt as well
Sam James
2022-05-05
2
-1
/
+3
*
sci-mathematics/octave: use configure.ac patch
Sam James
2022-05-05
1
-59
/
+18
*
sci-mathematics/octave: style tweaks
Sam James
2022-05-05
2
-5
/
+5
*
sci-mathematics/octave: version bump to 7.1.0
Thamognya Kodi
2022-05-05
3
-0
/
+277
*
sci-mathematics/easycrypt: bump to 2022.04
Maciej Barć
2022-04-27
2
-0
/
+44
*
sci-mathematics/z3: Remove old
Michał Górny
2022-04-26
3
-168
/
+0
*
sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
Arthur Zamarin
2022-04-26
1
-1
/
+1
*
sci-mathematics/z3: Keyword 4.8.16 sparc, #779742
Sam James
2022-04-26
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665
Arthur Zamarin
2022-04-25
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665
Arthur Zamarin
2022-04-25
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665
Sam James
2022-04-25
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665
Sam James
2022-04-25
1
-1
/
+1
*
sci-mathematics/z3: Bump to 4.8.16
Michał Górny
2022-04-24
2
-0
/
+109
*
sci-mathematics/giac: upstream bump
François Bissey
2022-04-22
2
-0
/
+167
*
sci-mathematics/singular: added upstream fixes for #776643 and #830279
François Bissey
2022-04-22
3
-0
/
+64
*
sci-mathematics/singular: upstream bump
François Bissey
2022-04-22
2
-0
/
+114
*
sci-mathematics/coq-serapi: fix elisp libraries installation
Maciej Barć
2022-04-20
1
-1
/
+1
*
sci-mathematics/why3: increase required menhir version
Maciej Barć
2022-04-16
2
-3
/
+3
*
sci-mathematics/octave-6.4.0: add missing dependencies
chn
2022-04-16
1
-5
/
+11
*
sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints
Maciej Barć
2022-04-16
1
-1
/
+1
*
sci-mathematics/alt-ergo: bump to 2.4.1_p20220407
Maciej Barć
2022-04-15
2
-0
/
+52
*
sci-mathematics/alt-ergo: depend on cmdliner <1.1.0
Maciej Barć
2022-04-15
1
-1
/
+1
*
sci-mathematics/maxima: in 5.46 all localized docs are unicode
Andrey Grozin
2022-04-14
1
-2
/
+1
*
sci-mathematics/wxmaxima: bump to 22.04.0
Andrey Grozin
2022-04-13
2
-0
/
+80
*
sci-mathematics/wxmaxima: remove old version
Andrey Grozin
2022-04-13
2
-80
/
+0
*
sci-mathematics/maxima: bump to 5.46.0
Andrey Grozin
2022-04-13
2
-0
/
+230
*
sci-mathematics/maxima: remove old versions
Andrey Grozin
2022-04-13
3
-490
/
+0
*
sci-mathematics/pari: new upstream version 2.13.4.
Michael Orlitzky
2022-04-06
2
-0
/
+122
*
sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517
Maciej Barć
2022-04-04
2
-0
/
+13
*
sci-mathematics/cryptominisat: fix sysconfig import
Maciej Barć
2022-04-03
2
-1
/
+26
*
sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.
Mark Wright
2022-03-29
1
-4
/
+19
*
sci-mathematics/twelf: emake -j1 is sufficient to fix doc build
Mark Wright
2022-03-29
1
-6
/
+2
*
sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotes
Mark Wright
2022-03-27
6
-16
/
+131
[prev]
[next]