projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Drop $Id$ per council decision in bug #611234.
[gentoo.git] / dev-lang / polyml / Manifest
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump blob | commitdiff | raw
2016-12-28 Mark Wrightdev-lang/polyml: Bump to 5.6 blob | commitdiff | raw
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.