package info (click to toggle)
coinst 1.9.1-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 1,628 kB
  • ctags: 2,683
  • sloc: ml: 15,681; makefile: 149; ansic: 52

Folder: 1.9.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 122 Proofs
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 60 man
d d rwxr-xr-x 4,096 viewer
- - rw-r--r-- 167 .boring
- - rw-r--r-- 6,620 .depend
- - rw-r--r-- 186 .gitignore
- - rw-r--r-- 931 BUGS.txt
- - rw-r--r-- 947 CHANGES
- - rw-r--r-- 18,603 COPYING
- - rw-r--r-- 2,896 Makefile
- - rw-r--r-- 540 README.md
- - rw-r--r-- 1,822 TODO.txt
- - rw-r--r-- 1,555 api.ml
- - rw-r--r-- 1,553 api.mli
- - rw-r--r-- 2,807 bytearray.ml
- - rw-r--r-- 671 bytearray.mli
- - rw-r--r-- 1,517 bytearray_stubs.c
- - rw-r--r-- 2,887 cache.ml
- - rw-r--r-- 970 cache.mli
- - rw-r--r-- 42,035 coinst.ml
- - rw-r--r-- 11,782 coinst_common.ml
- - rw-r--r-- 1,412 coinst_common.mli
- - rw-r--r-- 10,730 coinst_json.ml
- - rw-r--r-- 1,320 coinst_json.mli
- - rw-r--r-- 2,589 common.ml
- - rw-r--r-- 1,047 common.mli
- - rw-r--r-- 4,844 conflicts.ml
- - rw-r--r-- 11,043 cudf_lib.ml
- - rw-r--r-- 834 cudf_lib.mli
- - rw-r--r-- 38,304 deb_lib.ml
- - rw-r--r-- 4,209 deb_lib.mli
- - rw-r--r-- 1,638 debug.ml
- - rw-r--r-- 902 debug.mli
- - rw-r--r-- 3,524 file.ml
- - rw-r--r-- 1,145 file.mli
- - rw-r--r-- 7,509 graph.ml
- - rw-r--r-- 1,228 graph.mli
- - rw-r--r-- 9,761 horn.ml
- - rw-r--r-- 1,593 horn.mli
- - rw-r--r-- 12,472 layout.ml
- - rw-r--r-- 2,541 layout.mli
- - rw-r--r-- 21,342 ptset.ml
- - rw-r--r-- 3,261 ptset.mli
- - rw-r--r-- 5,872 quotient.ml
- - rw-r--r-- 2,271 quotient.mli
- - rw-r--r-- 8,143 repository.ml
- - rw-r--r-- 3,725 repository.mli
- - rw-r--r-- 35,110 rpm_lib.ml
- - rw-r--r-- 834 rpm_lib.mli
- - rw-r--r-- 16,118 solver.ml
- - rw-r--r-- 1,672 solver.mli
- - rw-r--r-- 6,411 task.ml
- - rw-r--r-- 1,563 task.mli
- - rw-r--r-- 237 task_stubs.c
- - rw-r--r-- 129,491 transition.ml
- - rw-r--r-- 5,517 update_data.ml
- - rw-r--r-- 888 update_data.mli
- - rw-r--r-- 19,224 upgrade.ml
- - rw-r--r-- 443 upgrade.mli
- - rw-r--r-- 62,213 upgrade_common.ml
- - rw-r--r-- 2,779 upgrade_common.mli
- - rw-r--r-- 2,588 upgrade_main.ml
- - rw-r--r-- 7,743 util.ml
- - rw-r--r-- 3,019 util.mli