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/gentoo/historical.git
master
Gentoo ebuild repository HISTORICAL read-only tree
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-lang
/
mozart
Commit message (
Expand
)
Author
Age
Files
Lines
*
Parallelize emake in src_compile and src_install.
Keri Harris
2008-02-24
4
-12
/
+87
*
QA: update DESCRIPTION.
Keri Harris
2008-02-23
4
-9
/
+13
*
Install binaries into Mozart bin dir. Closes #210987.
Keri Harris
2008-02-22
3
-3
/
+135
*
Remove all old-style digests from the system and regen the Manifest files.
Robin H. Johnson
2008-01-31
2
-42
/
+0
*
Stable on ppc wrt bug 199091
Gysbert Wassenaar
2007-11-16
1
-18
/
+8
*
Stable on ppc wrt bug 199091
Gysbert Wassenaar
2007-11-16
2
-3
/
+6
*
stable x86, bug 199019
Christian Faulhammer
2007-11-15
1
-8
/
+18
*
stable x86, bug 199019
Christian Faulhammer
2007-11-15
2
-3
/
+6
*
Sparc stable --- Bug #199019 --- all tests good.
Ferris McCormick
2007-11-14
3
-11
/
+14
*
Run bootstrapping checks in src_test()
Keri Harris
2007-11-14
3
-11
/
+19
*
Add proper support for emacs. Closes #194604
Keri Harris
2007-10-04
4
-18
/
+50
*
Handle fpe in ri contrib package. Closes #193683
Keri Harris
2007-09-29
4
-10
/
+53
*
Parallelize compile.
Keri Harris
2007-02-17
5
-43
/
+98
*
Add ~sparc to KEYWORDS.
Keri Harris
2007-02-17
1
-12
/
+12
*
Add ~sparc to KEYWORDS.
Keri Harris
2007-02-17
3
-3
/
+18
*
Add ~ppc to KEYWORDS
Keri Harris
2007-02-17
3
-11
/
+14
*
Include stdlib in ri contrib package.
Keri Harris
2007-02-17
2
-1
/
+15
*
Initial import
Keri Harris
2007-02-16
1
-8
/
+8
*
Set OZHOME in oz script
Keri Harris
2007-02-16
3
-10
/
+13
*
Respect platform emulator directory in src_install.
Keri Harris
2007-02-16
4
-10
/
+55
*
Initial import of Mozart - an implementation of Oz 3
Keri Harris
2007-02-14
10
-0
/
+807