: 1 1019
1 d none bin ? ? ?
1 s none bin/kodkodi=../share/java/kodkodi/bin/kodkodi
1 i copyright 114 9640 1450065156
1 i depend 88 7328 1449801718
1 i pkginfo 514 43692 1450068059
1 d none share ? ? ?
1 d none share/doc ? ? ?
1 d none share/doc/kodkodi 0755 bin bin
1 f none share/doc/kodkodi/HISTORY 0644 bin bin 3809 41603 1327497382
1 f none share/doc/kodkodi/antlr.license 0644 bin bin 1424 47828 1327497382
1 d none share/doc/kodkodi/examples 0755 bin bin
1 f none share/doc/kodkodi/examples/allops.kki 0644 bin bin 1653 32344 1327497382
1 f none share/doc/kodkodi/examples/intsort.kki 0644 bin bin 633 42331 1327497382
1 f none share/doc/kodkodi/examples/let.kki 0644 bin bin 91 5609 1327497382
1 f none share/doc/kodkodi/examples/naryops.kki 0644 bin bin 386 24147 1327497382
1 f none share/doc/kodkodi/examples/opsassoc.kki 0644 bin bin 1711 22900 1327497382
1 f none share/doc/kodkodi/examples/opsprec.kki 0644 bin bin 798 49477 1327497382
1 f none share/doc/kodkodi/examples/pigeonhole.kki 0644 bin bin 237 16868 1327497382
1 f none share/doc/kodkodi/examples/weber3.kki 0644 bin bin 154 11085 1327497382
1 f none share/doc/kodkodi/manual.pdf 0644 bin bin 166250 6725 1327497382
1 d none share/java ? ? ?
1 d none share/java/kodkodi 0755 bin bin
1 d none share/java/kodkodi/bin 0755 bin bin
1 f none share/java/kodkodi/bin/kodkodi 0644 bin bin 1951 32026 1450064839
1 d none share/java/kodkodi/lib 0755 bin bin
1 f none share/java/kodkodi/lib/antlr-runtime-3.1.1.jar 0644 bin bin 116205 44230 1327497382
1 f none share/java/kodkodi/lib/kodkodi.jar 0644 bin bin 82458 42386 1450067847
1 d none share/java/kodkodi/src 0755 bin bin
1 f none share/java/kodkodi/src/kodkodi-src.jar 0644 bin bin 64696 57145 1450067847