About

This package is 261.8 KB. It is available at http://ftp.debian.org/debian/pool/main/c/coala/coala_1.0.1-5_amd64.deb .

View its full control file here: debian/control.

Description

translates action languages into answer set programs

Relations

This package depends on: libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), python.

This package recommends: gringo, clasp.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

coala 1.0.1-5 is in debian - jessie / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/coala text/x-python root:root 0o755 13.1 KB
/usr/bin/coala.bin application/x-executable root:root 0o755 621.2 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/coala/ root:root 0o755
/usr/share/doc/coala/changelog.Debian.gz application/gzip root:root 0o644 740 bytes
/usr/share/doc/coala/changelog.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/coala/copyright text/plain root:root 0o644 2.4 KB
/usr/share/doc/coala/examples/ root:root 0o755
/usr/share/doc/coala/examples/b/ root:root 0o755
/usr/share/doc/coala/examples/b/blocksworld.alb text/plain root:root 0o644 1.2 KB
/usr/share/doc/coala/examples/b/blocksworld.stat text/plain root:root 0o644 57 bytes
/usr/share/doc/coala/examples/b/briefcase.alb text/plain root:root 0o644 344 bytes
/usr/share/doc/coala/examples/b/bulldozer.alb text/plain root:root 0o644 1.9 KB
/usr/share/doc/coala/examples/b/bulldozer.stat text/plain root:root 0o644 405 bytes
/usr/share/doc/coala/examples/b/crossing.alb text/plain root:root 0o644 3.2 KB
/usr/share/doc/coala/examples/b/crossing.stat text/plain root:root 0o644 170 bytes
/usr/share/doc/coala/examples/b/ignite.alb text/plain root:root 0o644 943 bytes
/usr/share/doc/coala/examples/b/ignite.stat text/plain root:root 0o644 153 bytes
/usr/share/doc/coala/examples/b/medicine.alb text/plain root:root 0o644 448 bytes
/usr/share/doc/coala/examples/c/ root:root 0o755
/usr/share/doc/coala/examples/c/biocham2.alc text/plain root:root 0o644 945 bytes
/usr/share/doc/coala/examples/c/biocham3.alc text/plain root:root 0o644 650 bytes
/usr/share/doc/coala/examples/c/biocham.alc text/plain root:root 0o644 788 bytes
/usr/share/doc/coala/examples/c/biocham_mapk.stat.gz application/gzip root:root 0o644 930 bytes
/usr/share/doc/coala/examples/c/biocham.stat text/plain root:root 0o644 185 bytes
/usr/share/doc/coala/examples/c/blocksworld.alc text/plain root:root 0o644 1.1 KB
/usr/share/doc/coala/examples/c/blocksworld.stat text/plain root:root 0o644 185 bytes
/usr/share/doc/coala/examples/c/ferryman.alc text/plain root:root 0o644 2.8 KB
/usr/share/doc/coala/examples/c/ferryman.stat text/plain root:root 0o644 67 bytes
/usr/share/doc/coala/examples/c/football_multi.alc text/plain root:root 0o644 1.7 KB
/usr/share/doc/coala/examples/c/football_multi.stat text/plain root:root 0o644 127 bytes
/usr/share/doc/coala/examples/c/footballs_color.alc.gz application/gzip root:root 0o644 953 bytes
/usr/share/doc/coala/examples/c/footballs_color.stat text/plain root:root 0o644 173 bytes
/usr/share/doc/coala/examples/c/football_single.alc text/plain root:root 0o644 1.2 KB
/usr/share/doc/coala/examples/c/football_single.stat text/plain root:root 0o644 43 bytes
/usr/share/doc/coala/examples/c/hanoi.alc text/plain root:root 0o644 1.7 KB
/usr/share/doc/coala/examples/c/hanoi.stat text/plain root:root 0o644 79 bytes
/usr/share/doc/coala/examples/c/jack.alc text/plain root:root 0o644 316 bytes
/usr/share/doc/coala/examples/c/ltl_biocham.alc text/plain root:root 0o644 885 bytes
/usr/share/doc/coala/examples/c/ltl_two_bit_counter.alc text/plain root:root 0o644 449 bytes
/usr/share/doc/coala/examples/c/monkeys.alc text/plain root:root 0o644 1.7 KB
/usr/share/doc/coala/examples/c/monkeys.stat text/plain root:root 0o644 93 bytes
/usr/share/doc/coala/examples/c_taid/ root:root 0o755
/usr/share/doc/coala/examples/c_taid/bionet_big.ctaid.gz application/gzip root:root 0o644 1.2 KB
/usr/share/doc/coala/examples/c_taid/bionet_small.ctaid text/plain root:root 0o644 1.5 KB
/usr/share/doc/coala/examples/c_taid/yale.ctaid text/plain root:root 0o644 381 bytes
/usr/share/doc/coala/examples/c/test.alc text/plain root:root 0o644 102 bytes
/usr/share/doc/coala/examples/c/water.alc text/plain root:root 0o644 309 bytes
/usr/share/doc/coala/examples/c/yale.alc text/plain root:root 0o644 315 bytes
/usr/share/doc/coala/examples/c/yale_var.alc text/plain root:root 0o644 851 bytes
/usr/share/doc/coala/examples/c/yale_var.stat text/plain root:root 0o644 222 bytes
/usr/share/doc/coala/README text/plain root:root 0o644 1.1 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/coala.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/coala.bin.1.gz application/gzip root:root 0o644 1.1 KB