diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2017-07-30 16:39:05 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-07-30 16:39:05 +0100 |
| commit | cf2ad005fcafcdd1a4093ab4c3efc70d7033c3fe (patch) | |
| tree | 716f3209f7465eb348eeda599e4c4a78c8d52262 /dev-ros/roslint | |
| parent | dev-ml/ppx_tools_versioned: keyworded 5.0.1 for ppc, bug #625848 (diff) | |
| download | gentoo-cf2ad005fcafcdd1a4093ab4c3efc70d7033c3fe.tar.gz gentoo-cf2ad005fcafcdd1a4093ab4c3efc70d7033c3fe.tar.bz2 gentoo-cf2ad005fcafcdd1a4093ab4c3efc70d7033c3fe.zip | |
dev-ml/lwt: keyworded 3.1.0 for ppc, bug #625848
Package-Manager: Portage-2.3.6, Repoman-2.3.3
RepoMan-Options: --include-arches="ppc"
Diffstat (limited to 'dev-ros/roslint')
0 files changed, 0 insertions, 0 deletions