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/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
*
sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375
Agostino Sarubbo
2022-03-02
1
-2
/
+2
*
sci-mathematics/alt-ergo: amd64 stable wrt bug #834375
Agostino Sarubbo
2022-03-02
1
-2
/
+2
*
sci-mathematics/cadabra: add glibmm to unconditional deps
Maciej Barć
2022-03-02
1
-5
/
+2
*
sci-mathematics/cadabra: new package; add version 2.3.8
Maciej Barć
2022-03-01
4
-0
/
+201
*
sci-mathematics/coq: update metadata
Maciej Barć
2022-02-27
1
-1
/
+3
*
sci-mathematics/lean: remove USE=json and inherit of optfeature
Maciej Barć
2022-02-22
5
-16
/
+13
*
sci-mathematics/lean: drop old 3.37.0
Maciej Barć
2022-02-22
2
-76
/
+0
*
sci-mathematics/lean: bump to 3.40.0
Maciej Barć
2022-02-22
2
-0
/
+76
*
sci-mathematics/yacas: add version 1.9.1
Andrew Ammerlaan
2022-02-19
2
-0
/
+76
*
sci-mathematics/coq: fix doc build - add missing fonts
Maciej Barć
2022-02-18
1
-0
/
+2
*
sci-mathematics/coq: fix doc build - add xetex dep
Maciej Barć
2022-02-18
1
-0
/
+1
*
sci-mathematics/coq: add missing latexextra dep
Maciej Barć
2022-02-17
1
-0
/
+1
*
sci-mathematics/cvc4: fix deps check
Alfredo Tupone
2022-02-17
1
-3
/
+6
*
sci-mathematics/coq: enable doc
Maciej Barć
2022-02-17
1
-16
/
+17
*
sci-mathematics/fann: fix DeprecatedInsinto
Conrad Kostecki
2022-02-13
2
-6
/
+6
*
sci-mathematics/z3: Remove old
Michał Górny
2022-02-12
2
-104
/
+0
*
sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068
Arthur Zamarin
2022-02-11
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.14 arm, #833068
Arthur Zamarin
2022-02-11
1
-1
/
+1
*
sci-mathematics/why3-for-spark: remove unused patch
Michael Mair-Keimberger
2022-02-10
1
-25
/
+0
*
sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068
Sam James
2022-02-10
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.14 x86, #833068
Sam James
2022-02-10
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068
Jakov Smolić
2022-02-10
1
-2
/
+2
*
sci-mathematics/cvc4: revbump for CMake config file fix
Sam James
2022-02-09
1
-0
/
+0
*
sci-mathematics/cvc4: fix library path
Alfredo Tupone
2022-02-08
1
-0
/
+9
*
sci-mathematics/lean: drop old 3.35.1-r2
Maciej Barć
2022-02-08
2
-76
/
+0
*
sci-mathematics/lean: bump to 3.39.1
Maciej Barć
2022-02-08
2
-0
/
+76
*
sci-mathematics/cvc4: fix deps
Alfredo Tupone
2022-02-08
1
-1
/
+5
*
sci-mathematics/cvc4: remove unused CMake variables
Alfredo Tupone
2022-02-08
1
-3
/
+1
*
sci-mathematics/why3-for-spark: ignore CFLAGS
Alfredo Tupone
2022-02-07
1
-12
/
+14
*
sci-mathematics/why3-for-spark: works with new ocaml too
Alfredo Tupone
2022-02-07
1
-2
/
+2
*
sci-mathematics/polymake: Stabilize 4.6 amd64, #832376
Jakov Smolić
2022-02-07
1
-1
/
+1
*
sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376
Jakov Smolić
2022-02-07
1
-1
/
+1
*
sci-mathematics/why3-for-spark: duplicate deps
Alfredo Tupone
2022-02-07
1
-1
/
+0
*
sci-mathematics/why3-for-spark: fix doc deps
Alfredo Tupone
2022-02-07
1
-1
/
+2
*
sci-mathematics/singular: Drop julia configure switch
Jakov Smolić
2022-02-07
1
-1
/
+0
[next]