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
/
polyml
/
ChangeLog
Commit message (
Expand
)
Author
Age
Files
Lines
*
Bump polyml to 5.5.2 with patches from the fixes-5.5.2 branch to allow sci-ma...
Mark Wright
2015-07-09
1
-1
/
+14
*
Updating remote-id in metadata.xml
Justin Lecher
2015-06-09
1
-2
/
+5
*
Bump polyml to 5.5.1. Fix bug 453146 - dev-lang/polyml-5.5.0: fails to build ...
Mark Wright
2014-02-11
1
-2
/
+11
*
Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi...
Mark Wright
2012-12-05
1
-1
/
+8
*
Update dependency after package move from x11-libs/openmotif to x11-libs/motif.
Ulrich Müller
2012-10-24
1
-1
/
+6
*
Bump polyml to 5.5.0 (also called 5.5, the tarball calls it 5.5, poly -v says...
Mark Wright
2012-09-20
1
-1
/
+9
*
Thanks to Richard Yao for the fix to bug #398841 and #395009
Mark Wright
2012-09-19
1
-2
/
+4
*
Fix upstream bug: --without-portable was equivalent to --with-portable. Add t...
Mark Wright
2012-01-09
1
-1
/
+6
*
Thanks to few_ and xarthisius for reviewing, remove econf repetition, - on us...
Mark Wright
2012-01-08
1
-2
/
+6
*
Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and Rene Necoro Neumann. ...
Mark Wright
2012-01-08
1
-1
/
+9
*
add ~x86, bug #254097
Markus Meier
2009-01-11
1
-2
/
+2
*
x86 stable, bug #254097
Markus Meier
2009-01-11
1
-2
/
+5
*
Initial entry (bug 35548) thanks to Paulo Jorge de Oliveira Cantante de Matos...
Marijn Schouten
2008-12-30
1
-0
/
+12