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/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@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/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
*
sci-mathematics/lean: drop old 3.40.0
Maciej Barć
2022-03-27
2
-76
/
+0
*
sci-mathematics/lean: bump to 3.42.1
Maciej Barć
2022-03-27
2
-0
/
+76
*
sci-mathematics/lean: amd64 stable wrt bug #835981
Agostino Sarubbo
2022-03-26
1
-1
/
+1
*
sci-mathematics/coq: bump to 8.15.1
Maciej Barć
2022-03-22
2
-0
/
+112
*
sci-mathematics/z3: fix documentation
Maciej Barć
2022-03-21
2
-4
/
+4
*
sci-mathematics/z3: Bump to 4.8.15
Michał Górny
2022-03-21
2
-0
/
+104
*
sci-mathematics/mathomatic: [QA] fix tc-get* quoting
Sam James
2022-03-20
1
-3
/
+3
*
sci-mathematics/lean: bump to 3.42.0
Maciej Barć
2022-03-18
2
-0
/
+76
*
sci-mathematics/octave: add upstream patch for slibtool support.
Michael Orlitzky
2022-03-17
2
-0
/
+38
*
sci-mathematics/z3: fix link atomic in riscv
Han Gao
2022-03-16
2
-0
/
+64
*
sci-mathematics/gimps: Stabilize 30.7.9 amd64, #835335
Jakov Smolić
2022-03-15
1
-1
/
+1
*
sci-mathematics/gimps: Stabilize 30.7.9 x86, #835335
Jakov Smolić
2022-03-15
1
-1
/
+1
*
sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
Maciej Barć
2022-03-13
1
-1
/
+1
*
sci-mathematics/lean: drop old 3.38.0
Maciej Barć
2022-03-12
2
-76
/
+0
*
sci-mathematics/lean: bump to 3.41.0
Maciej Barć
2022-03-12
2
-0
/
+76
*
sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526
Arthur Zamarin
2022-03-12
1
-2
/
+2
*
sci-mathematics/why3-for-spark: add USE to select sexp
Alfredo Tupone
2022-03-11
2
-28
/
+40
*
sci-mathematics/lcalc: fix RDEPEND typo
Sam James
2022-03-10
1
-1
/
+1
*
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
Sam James
2022-03-10
1
-3
/
+1
*
sci-mathematics/mathlib-tools: add python3.10 compat
Maciej Barć
2022-03-09
1
-1
/
+1
*
sci-mathematics/mathlib-tools: bump to 1.1.1
Maciej Barć
2022-03-09
2
-0
/
+50
*
sci-mathematics/mathlib-tools: add changelog link
Maciej Barć
2022-03-08
1
-0
/
+1
*
sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376
Jakov Smolić
2022-03-07
1
-1
/
+1
*
sci-mathematics/lrcalc: Stabilize 2.1 amd64, #828376
Jakov Smolić
2022-03-07
1
-2
/
+2
*
sci-mathematics/alectryon: new package; add 1.4.0
Maciej Barć
2022-03-05
4
-0
/
+105
*
sci-mathematics/coq-serapi: new package; add 0.15.0
Maciej Barć
2022-03-05
5
-0
/
+100
*
sci-mathematics/coq-mathcomp: new package; add 1.14.0
Maciej Barć
2022-03-05
3
-0
/
+41
*
sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)
Maciej Barć
2022-03-04
2
-0
/
+46
*
sci-mathematics/why3: bump to 1.4.1
Maciej Barć
2022-03-04
2
-0
/
+99
*
sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 sna...
Maciej Barć
2022-03-03
3
-0
/
+64
*
sci-mathematics/gsl-shell: add version 2.3.2
Andrew Ammerlaan
2022-03-02
4
-0
/
+100
[next]