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
/
z3
Commit message (
Expand
)
Author
Age
Files
Lines
*
Convert all $Header$ to $Id$ tags as it has be done in gentoo.git
Justin Lecher
2015-08-17
3
-3
/
+3
*
Revert "Gentoo does https by default now"
Justin Lecher
2015-06-21
1
-1
/
+1
*
Gentoo does https by default now
Justin Lecher
2015-06-21
1
-1
/
+1
*
sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOT
Justin Lecher
2015-03-29
3
-8
/
+10
*
sci-mathematics/z3: Adopt to recent changes in git-r3.eclass
Justin Lecher
2014-03-06
2
-0
/
+4
*
sci-mathematics/z3: Adopt to recent changes in git-r3.eclass
Justin Lecher
2014-03-06
2
-3
/
+4
*
Sanitize ebuild header
Justin Lecher
2014-01-30
2
-2
/
+2
*
sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E...
Justin Lecher
2013-12-02
4
-18
/
+103
*
Add MSR-LA
Justin Lecher
2013-12-02
1
-2
/
+8
*
sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some error
Yichao Zhou
2013-11-23
2
-6
/
+5
*
sci-mathematics/z3-4.3.1: add z3-9999 using git-3
Yichao Zhou
2013-11-23
1
-0
/
+42
*
sci-mathematics/z3-4.3.1: using jlec's snapshot
Yichao Zhou
2013-11-20
2
-8
/
+4
*
sci-mathematics/z3-4.3.1: using python-r1, remove useless dependency
Yichao Zhou
2013-11-20
1
-9
/
+9
*
sci-mathematics/z3-4.3.1: new ebuild
Yichao Zhou
2013-11-19
1
-0
/
+44