projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-embedded/openocd: update to EAPI=7
[gentoo.git] / dev-embedded / openocd / openocd-0.10.0.ebuild
2018-05-30 Jason Zamandev-embedded/openocd: amd64 stable blob | commitdiff | raw
2018-05-29 Thomas Deutschmanndev-embedded/openocd: x86 stable (bug #633398) blob | commitdiff | raw | diff to current
2017-12-25 David Seifertdev-embedded/openocd: [QA] Port to git-r3 blob | commitdiff | raw | diff to current
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. blob | commitdiff | raw | diff to current
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump blob | commitdiff | raw | diff to current
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411' blob | commitdiff | raw | diff to current
2017-01-24 Zero_Chaosdev-embedded/openocd: fix missing user inherit. bump... blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.