| -rwxr-xr-x | 1120436 | root |
root |
/usr/bin/ceve
|
| -rwxr-xr-x | 882144 | root |
root |
/usr/bin/deb-buildcheck
|
| -rwxr-xr-x | 882872 | root |
root |
/usr/bin/distcheck
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/dose3
|
| -rw-r--r-- | 398 | root |
root |
/usr/lib/dose3/META
|
| -rw-r--r-- | 299272 | root |
root |
/usr/lib/dose3/algo.a
|
| -rw-r--r-- | 201028 | root |
root |
/usr/lib/dose3/algo.cma
|
| -rw-r--r-- | 20871 | root |
root |
/usr/lib/dose3/algo.cmi
|
| -rw-r--r-- | 6865 | root |
root |
/usr/lib/dose3/algo.cmxa
|
| -rw-r--r-- | 70744 | root |
root |
/usr/lib/dose3/algo.o
|
| -rw-r--r-- | 3833 | root |
root |
/usr/lib/dose3/apt.cmi
|
| -rw-r--r-- | 458 | root |
root |
/usr/lib/dose3/architecture.cmi
|
| -rw-r--r-- | 1085 | root |
root |
/usr/lib/dose3/architecture.mli
|
| -rw-r--r-- | 13327 | root |
root |
/usr/lib/dose3/backend.cmi
|
| -rw-r--r-- | 35668 | root |
root |
/usr/lib/dose3/backend.o
|
| -rw-r--r-- | 206386 | root |
root |
/usr/lib/dose3/common.a
|
| -rw-r--r-- | 284930 | root |
root |
/usr/lib/dose3/common.cma
|
| -rw-r--r-- | 25299 | root |
root |
/usr/lib/dose3/common.cmi
|
| -rw-r--r-- | 4986 | root |
root |
/usr/lib/dose3/common.cmxa
|
| -rw-r--r-- | 82328 | root |
root |
/usr/lib/dose3/common.o
|
| -rw-r--r-- | 16640 | root |
root |
/usr/lib/dose3/cudfAdd.cmi
|
| -rw-r--r-- | 19688 | root |
root |
/usr/lib/dose3/cudfAdd.o
|
| -rw-r--r-- | 433366 | root |
root |
/usr/lib/dose3/db.a
|
| -rw-r--r-- | 19055 | root |
root |
/usr/lib/dose3/db.cmi
|
| -rw-r--r-- | 7509 | root |
root |
/usr/lib/dose3/db.cmxa
|
| -rw-r--r-- | 57086 | root |
root |
/usr/lib/dose3/db.o
|
| -rw-r--r-- | 2433 | root |
root |
/usr/lib/dose3/debcudf.cmi
|
| -rw-r--r-- | 3028 | root |
root |
/usr/lib/dose3/debcudf.mli
|
| -rw-r--r-- | 28925 | root |
root |
/usr/lib/dose3/debian.cmi
|
| -rw-r--r-- | 1241 | root |
root |
/usr/lib/dose3/debutil.cmi
|
| -rw-r--r-- | 2671 | root |
root |
/usr/lib/dose3/depsolver.cmi
|
| -rw-r--r-- | 3531 | root |
root |
/usr/lib/dose3/depsolver.mli
|
| -rw-r--r-- | 18196 | root |
root |
/usr/lib/dose3/depsolver.o
|
| -rw-r--r-- | 6201 | root |
root |
/usr/lib/dose3/depsolver_int.cmi
|
| -rw-r--r-- | 26992 | root |
root |
/usr/lib/dose3/depsolver_int.o
|
| -rw-r--r-- | 12401 | root |
root |
/usr/lib/dose3/diagnostic.cmi
|
| -rw-r--r-- | 28088 | root |
root |
/usr/lib/dose3/diagnostic.o
|
| -rw-r--r-- | 1320 | root |
root |
/usr/lib/dose3/diagnostic_int.cmi
|
| -rw-r--r-- | 895 | root |
root |
/usr/lib/dose3/diagnostic_int.o
|
| -rw-r--r-- | 3564 | root |
root |
/usr/lib/dose3/edosSolver.cmi
|
| -rw-r--r-- | 3760 | root |
root |
/usr/lib/dose3/edosSolver.mli
|
| -rw-r--r-- | 37892 | root |
root |
/usr/lib/dose3/edosSolver.o
|
| -rw-r--r-- | 3267 | root |
root |
/usr/lib/dose3/edsp.cmi
|
| -rw-r--r-- | 4264 | root |
root |
/usr/lib/dose3/evolution.cmi
|
| -rw-r--r-- | 5563 | root |
root |
/usr/lib/dose3/format822.cmi
|
| -rw-r--r-- | 3865 | root |
root |
/usr/lib/dose3/hdlists.cmi
|
| -rw-r--r-- | 14716 | root |
root |
/usr/lib/dose3/hdlists.o
|
| -rw-r--r-- | 2867 | root |
root |
/usr/lib/dose3/idbr.cmi
|
| -rw-r--r-- | 7984 | root |
root |
/usr/lib/dose3/idbr.o
|
| -rw-r--r-- | 1041 | root |
root |
/usr/lib/dose3/input.cmi
|
| -rw-r--r-- | 2157 | root |
root |
/usr/lib/dose3/input.mli
|
| -rw-r--r-- | 6392 | root |
root |
/usr/lib/dose3/input.o
|
| -rw-r--r-- | 10868 | root |
root |
/usr/lib/dose3/librpm_stubs.o
|
| -rw-r--r-- | 1437 | root |
root |
/usr/lib/dose3/mdf.cmi
|
| -rw-r--r-- | 5096 | root |
root |
/usr/lib/dose3/mdf.o
|
| -rw-r--r-- | 8815 | root |
root |
/usr/lib/dose3/packages.cmi
|
| -rw-r--r-- | 19488 | root |
root |
/usr/lib/dose3/packages.o
|
| -rw-r--r-- | 1358 | root |
root |
/usr/lib/dose3/release.cmi
|
| -rw-r--r-- | 269134 | root |
root |
/usr/lib/dose3/rpm.a
|
| -rw-r--r-- | 15364 | root |
root |
/usr/lib/dose3/rpm.cmi
|
| -rw-r--r-- | 6058 | root |
root |
/usr/lib/dose3/rpm.cmxa
|
| -rw-r--r-- | 58192 | root |
root |
/usr/lib/dose3/rpm.o
|
| -rw-r--r-- | 5189 | root |
root |
/usr/lib/dose3/rpmcudf.cmi
|
| -rw-r--r-- | 20628 | root |
root |
/usr/lib/dose3/rpmcudf.o
|
| -rw-r--r-- | 2896 | root |
root |
/usr/lib/dose3/sources.cmi
|
| -rw-r--r-- | 1758 | root |
root |
/usr/lib/dose3/sql.cmi
|
| -rw-r--r-- | 1917 | root |
root |
/usr/lib/dose3/sql.mli
|
| -rw-r--r-- | 2924 | root |
root |
/usr/lib/dose3/sql.o
|
| -rw-r--r-- | 1758 | root |
root |
/usr/lib/dose3/sqlite.cmi
|
| -rw-r--r-- | 13136 | root |
root |
/usr/lib/dose3/sqlite.o
|
| -rw-r--r-- | 813 | root |
root |
/usr/lib/dose3/url.cmi
|
| -rw-r--r-- | 1629 | root |
root |
/usr/lib/dose3/url.mli
|
| -rw-r--r-- | 14920 | root |
root |
/usr/lib/dose3/url.o
|
| -rw-r--r-- | 2832 | root |
root |
/usr/lib/dose3/util.cmi
|
| -rw-r--r-- | 5136 | root |
root |
/usr/lib/dose3/util.mli
|
| -rw-r--r-- | 16200 | root |
root |
/usr/lib/dose3/util.o
|
| -rw-r--r-- | 490 | root |
root |
/usr/lib/dose3/version.cmi
|
| -rw-r--r-- | 1982 | root |
root |
/usr/lib/dose3/version.mli
|
| -rw-r--r-- | 7096 | root |
root |
/usr/lib/dose3/version.o
|
| -rw-r--r-- | 471 | root |
root |
/usr/lib/dose3/versionInfo.cmi
|
| -rw-r--r-- | 2000 | root |
root |
/usr/lib/dose3/versionInfo.o
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/dose3
|
| -rw-r--r-- | 9166 | root |
root |
/usr/share/doc/dose3/COPYING
|
| -rw-r--r-- | 1617 | root |
root |
/usr/share/doc/dose3/INSTALL
|
