| -rwxr-xr-x | 5542560 | root |
root |
/usr/bin/jessie
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/jessie
|
| -rw-r--r-- | 2729 | root |
root |
/usr/lib64/jessie/effect.cmi
|
| -rw-r--r-- | 1078 | root |
root |
/usr/lib64/jessie/explain.cmi
|
| -rw-r--r-- | 13893 | root |
root |
/usr/lib64/jessie/ident.cmi
|
| -rw-r--r-- | 332683 | root |
root |
/usr/lib64/jessie/jc.cmi
|
| -rw-r--r-- | 1976234 | root |
root |
/usr/lib64/jessie/jc.cmo
|
| -rw-r--r-- | 81714 | root |
root |
/usr/lib64/jessie/jc.cmx
|
| -rw-r--r-- | 1527389 | root |
root |
/usr/lib64/jessie/jc.o
|
| -rw-r--r-- | 35001 | root |
root |
/usr/lib64/jessie/jc_ast.cmi
|
| -rw-r--r-- | 628 | root |
root |
/usr/lib64/jessie/jc_common_options.cmi
|
| -rw-r--r-- | 53639 | root |
root |
/usr/lib64/jessie/jc_constructors.cmi
|
| -rw-r--r-- | 4818 | root |
root |
/usr/lib64/jessie/jc_env.cmi
|
| -rw-r--r-- | 56441 | root |
root |
/usr/lib64/jessie/jc_envset.cmi
|
| -rw-r--r-- | 14100 | root |
root |
/usr/lib64/jessie/jc_fenv.cmi
|
| -rw-r--r-- | 8840 | root |
root |
/usr/lib64/jessie/jc_iterators.cmi
|
| -rw-r--r-- | 1206 | root |
root |
/usr/lib64/jessie/jc_noutput.cmi
|
| -rw-r--r-- | 7722 | root |
root |
/usr/lib64/jessie/jc_output.cmi
|
| -rw-r--r-- | 2619 | root |
root |
/usr/lib64/jessie/jc_output_misc.cmi
|
| -rw-r--r-- | 18284 | root |
root |
/usr/lib64/jessie/jc_pervasives.cmi
|
| -rw-r--r-- | 4754 | root |
root |
/usr/lib64/jessie/jc_poutput.cmi
|
| -rw-r--r-- | 73716 | root |
root |
/usr/lib64/jessie/jc_region.cmi
|
| -rw-r--r-- | 38248 | root |
root |
/usr/lib64/jessie/jc_stdlib.cmi
|
| -rw-r--r-- | 2424 | root |
root |
/usr/lib64/jessie/jc_type_var.cmi
|
| -rw-r--r-- | 872 | root |
root |
/usr/lib64/jessie/lexer.cmi
|
| -rw-r--r-- | 3234 | root |
root |
/usr/lib64/jessie/lib.cmi
|
| -rw-r--r-- | 1809 | root |
root |
/usr/lib64/jessie/loc.cmi
|
| -rw-r--r-- | 763 | root |
root |
/usr/lib64/jessie/option_misc.cmi
|
| -rw-r--r-- | 10226 | root |
root |
/usr/lib64/jessie/output.cmi
|
| -rw-r--r-- | 2291 | root |
root |
/usr/lib64/jessie/parser.cmi
|
| -rw-r--r-- | 7326 | root |
root |
/usr/lib64/jessie/pp.cmi
|
| -rw-r--r-- | 1989 | root |
root |
/usr/lib64/jessie/print_real.cmi
|
| -rw-r--r-- | 2965 | root |
root |
/usr/lib64/jessie/project.cmi
|
| -rw-r--r-- | 755 | root |
root |
/usr/lib64/jessie/rc.cmi
|
| -rw-r--r-- | 1034 | root |
root |
/usr/lib64/jessie/report.cmi
|
| -rw-r--r-- | 237 | root |
root |
/usr/lib64/jessie/why3_kw.cmi
|
| -rw-r--r-- | 457 | root |
root |
/usr/lib64/jessie/xml.cmi
|
| -rw-r--r-- | 224 | root |
root |
/usr/share/applications/fedora-jessie.desktop
|
