This file is indexed.

/usr/share/java/ is in sat4j 2.3.5-0.2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/java/org.ow2.sat4j.core-2.3.5.jar application/java-archive root:root 0o755 334.0 KB
/usr/share/java/org.ow2.sat4j.core.jar root:root 0o777
/usr/share/java/org.ow2.sat4j.maxsat-2.3.5.jar application/java-archive root:root 0o644 16.8 KB
/usr/share/java/org.ow2.sat4j.maxsat.jar root:root 0o777
/usr/share/java/org.ow2.sat4j.pb-2.3.5.jar application/java-archive root:root 0o644 220.9 KB
/usr/share/java/org.ow2.sat4j.pb.jar root:root 0o777
/usr/share/java/org.sat4j.core.jar root:root 0o777
/usr/share/java/org.sat4j.pb.jar root:root 0o777