Merge remote-tracking branch 'github/pr/372'.
[gentoo.git] / dev-java / jgrapht /
drwxr-xr-x   ..
-rw-r--r-- 381 Manifest
-rw-r--r-- 1069 jgrapht-0.8.3.ebuild
-rw-r--r-- 313 metadata.xml