Merge remote-tracking branch 'github/pr/760'.
[gentoo.git] / dev-lang / xsb /
drwxr-xr-x   ..
-rw-r--r-- 2303 Manifest
-rw-r--r-- 313 metadata.xml
-rw-r--r-- 4419 xsb-3.3.6.ebuild
-rw-r--r-- 4421 xsb-3.3.7.ebuild
-rw-r--r-- 4361 xsb-3.5.0.ebuild