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
:
proj/sci.git
ambertools
master
random
random2
wxmacmolplt
Gentoo Science Overlay
sci <sci@gentoo.org>
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/frama-c: drop duplicate, newer version in ::guru
Nowa Ammerlaan
44 hours
3
-79
/
+0
*
sci-mathematics/Oid: Fix java, update URLs
Alexander Puck Neuwirth
2024-06-27
2
-8
/
+29
*
sci-mathematics/pulp: tests pass with python3.12
Michael Schubert
2024-06-19
1
-1
/
+1
*
sci-mathematics/pulp: Added pulp version 2.8.0 + python3.12
Tomas Fabrizio Orsi
2024-06-11
2
-0
/
+22
*
*/*: fix BDEPEND -> DEPEND
Alexander Puck Neuwirth
2024-03-18
1
-1
/
+1
*
sci-mathematics/cipi: Fix boost linking
Alexander Puck Neuwirth
2024-02-19
2
-0
/
+62
*
sci-mathematics/ltl2ba: add 1.2, 1.3
Alexander Puck Neuwirth
2024-02-19
3
-0
/
+64
*
sci-mathematics/frama-c: remove unused patch(es)
Michael Mair-Keimberger
2023-12-31
1
-254
/
+0
*
sci-mathematics/scilab-bin: add 2023.1.0
Andrew Ammerlaan
2023-09-26
2
-0
/
+79
*
sci-mathematics/pulp: disable py3.9
Andrew Ammerlaan
2023-05-02
1
-1
/
+1
*
sci-mathematics/gap: treeclean
Andrew Ammerlaan
2023-05-02
4
-258
/
+0
*
sci-mathematics/frama-c: USE flag is deprecated in dependency
Horea Christian
2023-04-06
1
-1
/
+1
*
sci-mathematics/pulp: add 2.7.0, drop 2.4
Andrew Ammerlaan
2023-03-17
2
-7
/
+5
*
sci-mathematics/cipi: fix static uri
Andrew Ammerlaan
2023-02-10
1
-1
/
+1
*
sci-mathematics/acl2: remove duplicate
Andrew Ammerlaan
2023-01-12
7
-390
/
+0
*
sci-mathematics/gappalib-coq: treeclean
Andrew Ammerlaan
2023-01-03
3
-49
/
+0
*
sci-mathematics/gappa: treeclean
Andrew Ammerlaan
2023-01-03
4
-103
/
+0
*
sci-mathematics/flocq: treeclean
Andrew Ammerlaan
2023-01-03
3
-52
/
+0
*
sci-mathematics/netgen: move to media-gfx category
Bernd Waibel
2022-11-15
11
-403
/
+0
*
sci-mathematics/netgen: add 6.2.2204
Bernd Waibel
2022-11-15
6
-0
/
+243
*
sci-mathematics/freefem++: drop 4.7.1
Andrew Ammerlaan
2022-11-15
2
-103
/
+0
*
add github remote-id when possible
Jérôme Carretero
2022-11-15
3
-12
/
+19
*
*/*: virtual/jpeg deprecation
Andrew Ammerlaan
2022-05-02
1
-1
/
+1
*
sci-mathematics/open-axiom: remove dead package
Andrew Ammerlaan
2022-01-24
3
-53
/
+0
*
sci-mathematics/scilab: remove scilab in favor of scilab-bin
Andrew Ammerlaan
2022-01-23
26
-1827
/
+0
*
sci-mathematics/freefem++: drop conflicting flag mpi
Andrew Ammerlaan
2022-01-15
2
-4
/
+4
*
sci-mathematics/netgen: cleanup old
Andrew Ammerlaan
2022-01-13
11
-1206
/
+0
*
sci-mathematics/netgen: add version 6.2.2105
Andrew Ammerlaan
2022-01-13
4
-1
/
+139
*
sci-mathematics/scilab-bin: add version 6.1.1
Andrew Ammerlaan
2022-01-11
3
-0
/
+94
*
sci-mathematics/scilab: drop UnusedInherits
Andrew Ammerlaan
2021-12-16
3
-3
/
+3
*
sci-mathematics/netgen: fix inherits
Andrew Ammerlaan
2021-12-16
2
-6
/
+2
*
sci-mathematics/freefem++: drop UnusedInherits
Andrew Ammerlaan
2021-12-16
2
-2
/
+2
*
sci-mathematics/giac: remove duplicate
Andrew Ammerlaan
2021-12-13
5
-243
/
+0
*
sci-mathematics/why3: remove: ::guru version moved to ::gentoo
Andrew Ammerlaan
2021-12-13
3
-88
/
+0
*
sci-mathematics/freefem++: add version 4.10
Andrew Ammerlaan
2021-12-13
2
-0
/
+100
*
sci-mathematics/acl2: Fix sed expression, clearer books install
Lucas Mitrak
2021-10-07
2
-0
/
+178
*
sci-mathematics/acl2: Update 8.3 to the original intended ebuild
Lucas Mitrak
2021-09-20
2
-51
/
+86
*
sci-mathematics/acl2: Require >=dev-lisp/sbcl-1.5.2 in BDEPEND
Lucas Mitrak
2021-09-20
1
-1
/
+1
*
sci-mathematics/acl2: fix TAGS install, add emacs/doc flags, etc
Lucas Mitrak
2021-09-12
4
-1
/
+101
*
sci-mathematics/flocq: EAPI bump, add multiprocessing to remake
Lucas Mitrak
2021-08-06
1
-2
/
+4
*
sci-mathematics/gappa: add version 1.4.0
Andrew Ammerlaan
2021-06-09
2
-0
/
+43
*
sci-mathematics/gappa: Add multiprocessing.eclass for makeopts_jobs
Lucas Mitrak
2021-06-09
1
-6
/
+4
*
sci-mathematics/gappa: Remove -l or --load-average from ${MAKEOPTS}
Lucas Mitrak
2021-06-09
1
-0
/
+5
*
sci-mathematics/gap: fix BadDefaultUseFlags
Andrew Ammerlaan
2021-06-01
1
-3
/
+3
*
sci-mathematics/dsfmt: remove package - moved to ::gentoo
Matthias Maier
2021-04-07
3
-43
/
+0
*
sci-mathematics/scilab: some progress
Andrew Ammerlaan
2021-03-22
7
-53
/
+19
*
sci-mathematics/scilab: fix dep on lucene
Andrew Ammerlaan
2021-03-21
2
-2
/
+2
*
sci-mathematics/acl2: drop old
Andrew Ammerlaan
2021-03-20
2
-51
/
+0
*
sci-mathematics/burrtool: remove masked package
Andrew Ammerlaan
2021-03-19
3
-61
/
+0
*
sci-mathematics/frama-c: set USE default
Andrew Ammerlaan
2021-03-04
1
-1
/
+1
[next]