Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/z3
Commit message (Expand)AuthorAgeFilesLines
* Update Manifests to new hashesJustin Lecher2017-12-101-1/+1
* Consistently ident with tabsJustin Lecher2017-11-181-4/+4
* Drop leftover from CVS in HEADERJustin Lecher2017-02-252-2/+0
* metadata.xml: Set typeJustin Lecher2016-01-251-1/+1
* metadata.xml: convert hard -> projJustin Lecher2016-01-251-1/+4
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-071-18/+0
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-173-3/+3
* Revert "Gentoo does https by default now"Justin Lecher2015-06-211-1/+1
* Gentoo does https by default nowJustin Lecher2015-06-211-1/+1
* sci-mathematics/z3: Correct license to MIT, thanks Daniel GOUJOTJustin Lecher2015-03-293-8/+10
* sci-mathematics/z3: Adopt to recent changes in git-r3.eclassJustin Lecher2014-03-062-0/+4
* sci-mathematics/z3: Adopt to recent changes in git-r3.eclassJustin Lecher2014-03-062-3/+4
* Sanitize ebuild headerJustin Lecher2014-01-302-2/+2
* sci-mathematics/z3: Make build verbose; respect CXX, CXXFLAGS, LDFLAGS; use E...Justin Lecher2013-12-024-18/+103
* Add MSR-LAJustin Lecher2013-12-021-2/+8
* sci-mathematics/z3-4.3.1: add z3-9999 using git-3 and fix some errorYichao Zhou2013-11-232-6/+5
* sci-mathematics/z3-4.3.1: add z3-9999 using git-3Yichao Zhou2013-11-231-0/+42
* sci-mathematics/z3-4.3.1: using jlec's snapshotYichao Zhou2013-11-202-8/+4
* sci-mathematics/z3-4.3.1: using python-r1, remove useless dependencyYichao Zhou2013-11-201-9/+9
* sci-mathematics/z3-4.3.1: new ebuildYichao Zhou2013-11-191-0/+44