index
:
gentoo/gentoo.git
master
sakura-update
forked from gentoo/gentoo
kballou
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-lang
/
polyml
Commit message (
Expand
)
Author
Age
*
dev-lang/polyml: bump to 5.8
Tupone Alfredo
2019-04-06
*
dev-lang/polyml: Fix build with libffi3
Tupone Alfredo
2019-04-05
*
dev-lang/polyml: Adding me as a maintainer
Tupone Alfredo
2019-04-05
*
dev-lang/polyml: Fix build, sem_wait found on libpthread
Tupone Alfredo
2019-04-05
*
dev-lang/polyml: use HTTPs
Michael Mair-Keimberger
2018-06-07
*
dev-lang/*: Update Manifest hashes
Michał Górny
2017-12-09
*
dev-lang/polyml: [QA] Consistent whitespace in metadata.xml
David Seifert
2017-11-26
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
*
dev-lang/polyml: Bump to 5.6
Mark Wright
2016-12-28
*
dev-lang/polyml: remove unused patch.
Michael Mair-Keimberger (asterix)
2016-10-10
*
sourceforge: switch to https:// URIs
Mike Frysinger
2016-07-27
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
*
Use https by default
Justin Lecher
2015-08-24
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08