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
*
*/*: remove py3.8 from PYTHON_COMPAT
David Seifert
2023-01-14
29
-56
/
+56
*
sci-mathematics/form: bump to 4.3.0
Andrey Grozin
2023-01-14
2
-0
/
+82
*
sci-mathematics/yices2: do not install static libs
Maciej Barć
2023-01-14
1
-1
/
+3
*
sci-mathematics/opensmt: prevent fetching googletest
Maciej Barć
2023-01-13
2
-0
/
+76
*
sci-mathematics/opensmt: do not install static libs
Maciej Barć
2023-01-13
1
-1
/
+2
*
sci-mathematics/pspp: Stabilize 1.6.2-r2 amd64, #890706
Sam James
2023-01-13
1
-1
/
+1
*
sci-mathematics/btor2tools: remove unused patch
Maciej Barć
2023-01-13
1
-28
/
+0
*
sci-mathematics/boolector: fix build to not require static libs
Maciej Barć
2023-01-13
1
-0
/
+1
*
sci-mathematics/btor2tools: do not install static libraries
Maciej Barć
2023-01-13
1
-4
/
+1
*
Revert "sci-mathematics/picosat: also install static libraries"
Maciej Barć
2023-01-13
1
-2
/
+1
*
sci-mathematics/octave: Stabilize 6.4.0-r5 arm64, #886641
Arthur Zamarin
2023-01-13
1
-1
/
+1
*
sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640
Sam James
2023-01-13
1
-2
/
+2
*
sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640
Sam James
2023-01-13
1
-1
/
+1
*
sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640
Sam James
2023-01-13
1
-2
/
+2
*
sci-mathematics/cryptominisat: bump to 5.11.4
Maciej Barć
2023-01-12
2
-0
/
+39
*
sci-mathematics/coq-serapi: drop old 0.15.0-r3
Maciej Barć
2023-01-12
2
-65
/
+0
*
sci-mathematics/coq-serapi: bump to 0.16.2
Maciej Barć
2023-01-12
2
-0
/
+67
*
sci-mathematics/cubicle: install the provided manual page
Maciej Barć
2023-01-11
1
-0
/
+2
*
sci-mathematics/boolector: new package; add 3.2.2_p20220110
Maciej Barć
2023-01-11
3
-0
/
+110
*
sci-mathematics/cadical: install ccadical.h
Maciej Barć
2023-01-11
1
-2
/
+4
*
sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518
Maciej Barć
2023-01-11
5
-0
/
+100
*
sci-mathematics/picosat: also install static libraries
Maciej Barć
2023-01-11
1
-1
/
+2
*
sci-mathematics/cubicle: new package; add 1.2.0
Maciej Barć
2023-01-11
4
-0
/
+105
*
sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2
Michael Orlitzky
2023-01-10
2
-2
/
+2
*
sci-mathematics/mathlib-tools: Remove Python < 3.10
Michał Górny
2023-01-10
3
-6
/
+6
*
sci-mathematics/kissat: new package; add 3.0.0
Maciej Barć
2023-01-10
3
-0
/
+57
*
sci-mathematics/z3: update metadata xml
Maciej Barć
2023-01-10
1
-0
/
+18
*
sci-mathematics/octave: keyword 7.3.0-r2 for ~hppa
Sam James
2023-01-09
1
-1
/
+1
*
sci-mathematics/geogebra-bin: drop 5.0.604.0-r2
Georgy Yakovlev
2023-01-09
2
-56
/
+0
*
sci-mathematics/geogebra-bin: add 5.0.752.0
Georgy Yakovlev
2023-01-09
2
-0
/
+56
*
sci-mathematics/opensmt: new package; add 2.4.3
Maciej Barć
2023-01-09
3
-0
/
+82
*
sci-mathematics/acl2: install TAGS if USE=emacs
Maciej Barć
2023-01-08
1
-1
/
+1
*
sci-mathematics/octave: disable GLIBCXX_ASSERTIONS (libstdc++ bug)
Sam James
2023-01-08
2
-3
/
+9
*
sci-mathematics/octave: drop 6.4.0-r3
Sam James
2023-01-08
1
-215
/
+0
*
sci-mathematics/acl2: new package; add 8.5
Maciej Barć
2023-01-08
4
-0
/
+119
*
sci-mathematics/eprover: do not call ar/ranlib directly
Maciej Barć
2023-01-04
1
-0
/
+4
*
sci-mathematics/wxmaxima: bump to 22.12.0
Andrey Grozin
2023-01-04
2
-0
/
+80
*
sci-mathematics/eprover: new package; add 3.0_pre008
Maciej Barć
2023-01-04
3
-0
/
+94
*
sci-mathematics/pspp: new revision to fix a few security and QA issues.
Michael Orlitzky
2023-01-01
2
-0
/
+115
*
sci-mathematics/slepc: add 3.18.1
Matthias Maier
2022-12-28
3
-0
/
+120
*
sci-mathematics/petsc: add 3.18.2
Matthias Maier
2022-12-28
2
-0
/
+237
*
sci-mathematics/lean: bump to 3.50.3
Maciej Barć
2022-12-27
2
-0
/
+78
*
sci-mathematics/lean: drop old 3.50.0
Maciej Barć
2022-12-27
2
-78
/
+0
*
sci-mathematics/frobby: update EAPI 6 -> 8
David Seifert
2022-12-26
1
-18
/
+14
*
sci-mathematics/gappalib-coq: new package; add 1.5.2
Maciej Barć
2022-12-24
3
-0
/
+53
*
sci-mathematics/gappa: new package; add 1.4.1
Maciej Barć
2022-12-24
3
-0
/
+62
*
sci-mathematics/flocq: new package; add 4.1.0
Maciej Barć
2022-12-24
3
-0
/
+50
*
sci-mathematics/lean: bump to 3.50.2
Maciej Barć
2022-12-24
2
-0
/
+78
*
sci-mathematics/lean: drop old 3.49.1
Maciej Barć
2022-12-24
2
-78
/
+0
*
sci-mathematics/giac: drop 1.7.0.13-r1
Michael Orlitzky
2022-12-23
3
-200
/
+0
[next]