Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/erlang/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/erlang: OldJeroen Roovers2018-10-301-3/+0
* dev-lang/erlang: Old.Jeroen Roovers2018-10-221-6/+0
* dev-lang/erlang: Versions 19.3.6.12 20.3.8.10 21.1.1Jeroen Roovers2018-10-221-0/+5
* dev-lang/erlang: version bump to 21.1Ștefan Talpalaru2018-09-301-0/+3
* dev-lang/erlang: BumpPatrick Lauer2018-09-201-0/+2
* dev-lang/erlang: BumpPatrick Lauer2018-07-071-0/+4
* dev-lang/erlang: Version bump to 20.3.2Nick Sarnie2018-04-201-0/+3
* dev-lang/erlang: Version bump, and fix some bugs:Pacho Ramos2018-04-011-0/+3
* dev-lang/erlang: Drop oldPacho Ramos2018-03-281-9/+0
* Revert "dev-lang/erlang: drop vulnerable wrt bug #636390"Aaron Bauman2018-03-251-0/+3
* dev-lang/erlang: drop vulnerable wrt bug #636390Aaron Bauman2018-03-251-3/+0
* dev-lang/erlang: BumpPatrick Lauer2017-12-131-0/+3
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-15/+15
* Revert "dev-lang/erlang: Old."Jeroen Roovers2017-11-041-0/+3
* dev-lang/erlang: Old.Jeroen Roovers2017-11-031-3/+0
* dev-lang/erlang: BumpPatrick Lauer2017-10-161-0/+3
* dev-lang/erlang: Drop oldPacho Ramos2017-07-181-3/+0
* dev-lang/erlang: version bump to 20.0 (fixes bug 622872)Dirkjan Ochtman2017-07-181-0/+3
* dev-lang/erlang: remove old versionsDirkjan Ochtman2017-04-221-6/+0
* dev-lang/erlang: version bump to 19.3 (fixes bug 595598)Dirkjan Ochtman2017-04-221-0/+3
* dev-lang/erlang: version bump to 19.2Dirkjan Ochtman2017-01-201-0/+3
* dev-lang/erlang: version bump to 19.1 (fixes bug 591970)Dirkjan Ochtman2016-09-241-0/+3
* dev-lang/erlang: remove some more old versionsDirkjan Ochtman2016-08-211-6/+0
* dev-lang/erlang: remove old version (see bug 499876)Dirkjan Ochtman2016-08-211-3/+0
* dev-lang/erlang: version bump to 19.0 (fixes bug 586730)Dirkjan Ochtman2016-07-051-0/+3
* dev-lang/erlang: version bump to 18.3 (fixes bug 579340)Dirkjan Ochtman2016-04-131-0/+3
* dev-lang/erlang: version bump to 18.2.1 (fixes bug 563240)Dirkjan Ochtman2016-01-091-0/+3
* dev-lang/erlang: remove old versionsDirkjan Ochtman2016-01-091-3/+0
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+12