lrwxrwxrwx | 10 | root |
root |
/usr/bin/cyc
|
-rwxr-xr-x | 9734 | root |
root |
/usr/bin/cyc-0.9.11
|
lrwxrwxrwx | 10 | root |
root |
/usr/bin/cyi
|
-rwxr-xr-x | 9794 | root |
root |
/usr/bin/cyi-0.9.11
|
lrwxrwxrwx | 13 | root |
root |
/usr/bin/cymake
|
-rwxr-xr-x | 5176 | root |
root |
/usr/bin/cymake-0.9.11
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/curry-0.9.11
|
-rw-r--r-- | 1529 | root |
root |
/usr/lib/curry-0.9.11/AllSolutions.curry
|
-rw-r--r-- | 650 | root |
root |
/usr/lib/curry-0.9.11/AllSolutions.icurry
|
-rw-r--r-- | 2697 | root |
root |
/usr/lib/curry-0.9.11/Array.curry
|
-rw-r--r-- | 1315 | root |
root |
/usr/lib/curry-0.9.11/Array.icurry
|
-rw-r--r-- | 1555 | root |
root |
/usr/lib/curry-0.9.11/Bits.curry
|
-rw-r--r-- | 1103 | root |
root |
/usr/lib/curry-0.9.11/Bits.icurry
|
-rw-r--r-- | 11684 | root |
root |
/usr/lib/curry-0.9.11/CError.curry
|
-rw-r--r-- | 3523 | root |
root |
/usr/lib/curry-0.9.11/CError.icurry
|
-rw-r--r-- | 247 | root |
root |
/usr/lib/curry-0.9.11/CForeign.curry
|
-rw-r--r-- | 10152 | root |
root |
/usr/lib/curry-0.9.11/CForeign.icurry
|
-rw-r--r-- | 1400 | root |
root |
/usr/lib/curry-0.9.11/CString.curry
|
-rw-r--r-- | 902 | root |
root |
/usr/lib/curry-0.9.11/CString.icurry
|
-rw-r--r-- | 5024 | root |
root |
/usr/lib/curry-0.9.11/CTypes.curry
|
-rw-r--r-- | 3891 | root |
root |
/usr/lib/curry-0.9.11/CTypes.icurry
|
-rw-r--r-- | 1207 | root |
root |
/usr/lib/curry-0.9.11/Char.curry
|
-rw-r--r-- | 927 | root |
root |
/usr/lib/curry-0.9.11/Char.icurry
|
-rw-r--r-- | 1063 | root |
root |
/usr/lib/curry-0.9.11/Combinatorial.curry
|
-rw-r--r-- | 219 | root |
root |
/usr/lib/curry-0.9.11/Combinatorial.icurry
|
-rw-r--r-- | 7143 | root |
root |
/usr/lib/curry-0.9.11/DebugPrelude.curry
|
-rw-r--r-- | 1172 | root |
root |
/usr/lib/curry-0.9.11/DebugPrelude.icurry
|
-rw-r--r-- | 3906 | root |
root |
/usr/lib/curry-0.9.11/Directory.curry
|
-rw-r--r-- | 809 | root |
root |
/usr/lib/curry-0.9.11/Directory.icurry
|
-rw-r--r-- | 6218 | root |
root |
/usr/lib/curry-0.9.11/FiniteMap.curry
|
-rw-r--r-- | 693 | root |
root |
/usr/lib/curry-0.9.11/FiniteMap.icurry
|
-rw-r--r-- | 2735 | root |
root |
/usr/lib/curry-0.9.11/Float.curry
|
-rw-r--r-- | 1606 | root |
root |
/usr/lib/curry-0.9.11/Float.icurry
|
-rw-r--r-- | 477 | root |
root |
/usr/lib/curry-0.9.11/Foreign.curry
|
-rw-r--r-- | 5740 | root |
root |
/usr/lib/curry-0.9.11/Foreign.icurry
|
-rw-r--r-- | 1802 | root |
root |
/usr/lib/curry-0.9.11/ForeignPtr.curry
|
-rw-r--r-- | 1307 | root |
root |
/usr/lib/curry-0.9.11/ForeignPtr.icurry
|
-rw-r--r-- | 6227 | root |
root |
/usr/lib/curry-0.9.11/IO.curry
|
-rw-r--r-- | 3185 | root |
root |
/usr/lib/curry-0.9.11/IO.icurry
|
-rw-r--r-- | 3119 | root |
root |
/usr/lib/curry-0.9.11/IOExts.curry
|
-rw-r--r-- | 1678 | root |
root |
/usr/lib/curry-0.9.11/IOExts.icurry
|
-rw-r--r-- | 1092 | root |
root |
/usr/lib/curry-0.9.11/IOVector.curry
|
-rw-r--r-- | 484 | root |
root |
/usr/lib/curry-0.9.11/IOVector.icurry
|
-rw-r--r-- | 2571 | root |
root |
/usr/lib/curry-0.9.11/Integer.curry
|
-rw-r--r-- | 812 | root |
root |
/usr/lib/curry-0.9.11/Integer.icurry
|
-rw-r--r-- | 305 | root |
root |
/usr/lib/curry-0.9.11/Ix.curry
|
-rw-r--r-- | 340 | root |
root |
/usr/lib/curry-0.9.11/Ix.icurry
|
-rw-r--r-- | 4204 | root |
root |
/usr/lib/curry-0.9.11/Lexing.curry
|
-rw-r--r-- | 2238 | root |
root |
/usr/lib/curry-0.9.11/Lexing.icurry
|
-rw-r--r-- | 8894 | root |
root |
/usr/lib/curry-0.9.11/List.curry
|
-rw-r--r-- | 5055 | root |
root |
/usr/lib/curry-0.9.11/List.icurry
|
-rw-r--r-- | 760 | root |
root |
/usr/lib/curry-0.9.11/MarshalAlloc.curry
|
-rw-r--r-- | 540 | root |
root |
/usr/lib/curry-0.9.11/MarshalAlloc.icurry
|
-rw-r--r-- | 738 | root |
root |
/usr/lib/curry-0.9.11/MarshalError.curry
|
-rw-r--r-- | 816 | root |
root |
/usr/lib/curry-0.9.11/MarshalError.icurry
|
-rw-r--r-- | 890 | root |
root |
/usr/lib/curry-0.9.11/MarshalUtils.curry
|
-rw-r--r-- | 778 | root |
root |
/usr/lib/curry-0.9.11/MarshalUtils.icurry
|
-rw-r--r-- | 661 | root |
root |
/usr/lib/curry-0.9.11/Maybe.curry
|
-rw-r--r-- | 494 | root |
root |
/usr/lib/curry-0.9.11/Maybe.icurry
|
-rw-r--r-- | 2086 | root |
root |
/usr/lib/curry-0.9.11/Monad.curry
|
-rw-r--r-- | 1988 | root |
root |
/usr/lib/curry-0.9.11/Monad.icurry
|
-rw-r--r-- | 1330 | root |
root |
/usr/lib/curry-0.9.11/NameSupply.curry
|
-rw-r--r-- | 383 | root |
root |
/usr/lib/curry-0.9.11/NameSupply.icurry
|
-rw-r--r-- | 4183 | root |
root |
/usr/lib/curry-0.9.11/Numeric.curry
|
-rw-r--r-- | 1951 | root |
root |
/usr/lib/curry-0.9.11/Numeric.icurry
|
-rw-r--r-- | 2618 | root |
root |
/usr/lib/curry-0.9.11/Parser.curry
|
-rw-r--r-- | 804 | root |
root |
/usr/lib/curry-0.9.11/Parser.icurry
|
-rw-r--r-- | 2652 | root |
root |
/usr/lib/curry-0.9.11/Ports.curry
|
-rw-r--r-- | 831 | root |
root |
/usr/lib/curry-0.9.11/Ports.icurry
|
-rw-r--r-- | 23113 | root |
root |
/usr/lib/curry-0.9.11/Prelude.curry
|
-rw-r--r-- | 5500 | root |
root |
/usr/lib/curry-0.9.11/Prelude.icurry
|
-rw-r--r-- | 843 | root |
root |
/usr/lib/curry-0.9.11/Ptr.curry
|
-rw-r--r-- | 400 | root |
root |
/usr/lib/curry-0.9.11/Ptr.icurry
|
-rw-r--r-- | 1960 | root |
root |
/usr/lib/curry-0.9.11/Random.curry
|
-rw-r--r-- | 896 | root |
root |
/usr/lib/curry-0.9.11/Random.icurry
|
-rw-r--r-- | 657 | root |
root |
/usr/lib/curry-0.9.11/Read.curry
|
-rw-r--r-- | 290 | root |
root |
/usr/lib/curry-0.9.11/Read.icurry
|
-rw-r--r-- | 2362 | root |
root |
/usr/lib/curry-0.9.11/Set.curry
|
-rw-r--r-- | 1208 | root |
root |
/usr/lib/curry-0.9.11/Set.icurry
|
-rw-r--r-- | 4694 | root |
root |
/usr/lib/curry-0.9.11/Socket.curry
|
-rw-r--r-- | 642 | root |
root |
/usr/lib/curry-0.9.11/Socket.icurry
|
-rw-r--r-- | 1007 | root |
root |
/usr/lib/curry-0.9.11/StablePtr.curry
|
-rw-r--r-- | 411 | root |
root |
/usr/lib/curry-0.9.11/StablePtr.icurry
|
-rw-r--r-- | 1066 | root |
root |
/usr/lib/curry-0.9.11/Success.curry
|
-rw-r--r-- | 600 | root |
root |
/usr/lib/curry-0.9.11/Success.icurry
|
-rw-r--r-- | 1852 | root |
root |
/usr/lib/curry-0.9.11/System.curry
|
-rw-r--r-- | 459 | root |
root |
/usr/lib/curry-0.9.11/System.icurry
|
-rw-r--r-- | 424 | root |
root |
/usr/lib/curry-0.9.11/Time.curry
|
-rw-r--r-- | 161 | root |
root |
/usr/lib/curry-0.9.11/Time.icurry
|
-rw-r--r-- | 234 | root |
root |
/usr/lib/curry-0.9.11/Trace.curry
|
-rw-r--r-- | 124 | root |
root |
/usr/lib/curry-0.9.11/Trace.icurry
|
-rw-r--r-- | 582 | root |
root |
/usr/lib/curry-0.9.11/Unsafe.curry
|
-rw-r--r-- | 348 | root |
root |
/usr/lib/curry-0.9.11/Unsafe.icurry
|
-rw-r--r-- | 124 | root |
root |
/usr/lib/curry-0.9.11/backtrack.h
|
-rw-r--r-- | 7246 | root |
root |
/usr/lib/curry-0.9.11/cam.h
|
-rw-r--r-- | 2701 | root |
root |
/usr/lib/curry-0.9.11/config.h
|
-rw-r--r-- | 833 | root |
root |
/usr/lib/curry-0.9.11/cstring.h
|
-rw-r--r-- | 690 | root |
root |
/usr/lib/curry-0.9.11/curry.h
|
-rwxr-xr-x | 2784864 | root |
root |
/usr/lib/curry-0.9.11/cycc
|
-rwxr-xr-x | 1158368 | root |
root |
/usr/lib/curry-0.9.11/cymk
|
-rw-r--r-- | 771 | root |
root |
/usr/lib/curry-0.9.11/data.h
|
-rw-r--r-- | 473 | root |
root |
/usr/lib/curry-0.9.11/debug.h
|
-rw-r--r-- | 1315 | root |
root |
/usr/lib/curry-0.9.11/directory.h
|
-rw-r--r-- | 242 | root |
root |
/usr/lib/curry-0.9.11/disequal.h
|
-rw-r--r-- | 56 | root |
root |
/usr/lib/curry-0.9.11/equal.h
|
-rw-r--r-- | 464 | root |
root |
/usr/lib/curry-0.9.11/eval.h
|
-rw-r--r-- | 1613 | root |
root |
/usr/lib/curry-0.9.11/files.h
|
-rw-r--r-- | 348 | root |
root |
/usr/lib/curry-0.9.11/foreign.h
|
-rw-r--r-- | 12779 | root |
root |
/usr/lib/curry-0.9.11/heap.h
|
-rw-r--r-- | 604 | root |
root |
/usr/lib/curry-0.9.11/io_monad.h
|
-rw-r--r-- | 4849630 | root |
root |
/usr/lib/curry-0.9.11/libcurry.a
|
-rw-r--r-- | 8551680 | root |
root |
/usr/lib/curry-0.9.11/libcurry_g.a
|
-rw-r--r-- | 300 | root |
root |
/usr/lib/curry-0.9.11/main.h
|
-rwxr-xr-x | 405760 | root |
root |
/usr/lib/curry-0.9.11/newer
|
-rw-r--r-- | 4086 | root |
root |
/usr/lib/curry-0.9.11/prims.h
|
-rw-r--r-- | 100 | root |
root |
/usr/lib/curry-0.9.11/print.h
|
-rw-r--r-- | 226 | root |
root |
/usr/lib/curry-0.9.11/random.h
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/curry-0.9.11/refs.h
|
-rw-r--r-- | 525 | root |
root |
/usr/lib/curry-0.9.11/regs.h
|
-rw-r--r-- | 1821 | root |
root |
/usr/lib/curry-0.9.11/run.h
|
-rw-r--r-- | 79 | root |
root |
/usr/lib/curry-0.9.11/search.h
|
-rw-r--r-- | 175 | root |
root |
/usr/lib/curry-0.9.11/show.h
|
-rw-r--r-- | 1978 | root |
root |
/usr/lib/curry-0.9.11/spaces.h
|
-rw-r--r-- | 464 | root |
root |
/usr/lib/curry-0.9.11/stable.h
|
-rw-r--r-- | 1310 | root |
root |
/usr/lib/curry-0.9.11/stack.h
|
-rw-r--r-- | 244 | root |
root |
/usr/lib/curry-0.9.11/stats.h
|
-rw-r--r-- | 2050 | root |
root |
/usr/lib/curry-0.9.11/threads.h
|
-rw-r--r-- | 285 | root |
root |
/usr/lib/curry-0.9.11/trace.h
|
-rw-r--r-- | 1490 | root |
root |
/usr/lib/curry-0.9.11/trail.h
|
-rw-r--r-- | 363 | root |
root |
/usr/lib/curry-0.9.11/unify.h
|
-rw-r--r-- | 522 | root |
root |
/usr/lib/curry-0.9.11/vars.h
|
-rw-r--r-- | 341 | root |
root |
/usr/lib/curry-0.9.11/vector.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/curry-0.9.11
|
-rw-r--r-- | 1471 | root |
root |
/usr/share/doc/curry-0.9.11/LICENSE
|
-rw-r--r-- | 19993 | root |
root |
/usr/share/doc/curry-0.9.11/NEWS
|
-rw-r--r-- | 10317 | root |
root |
/usr/share/doc/curry-0.9.11/README
|
-rw-r--r-- | 798067 | root |
root |
/usr/share/doc/curry-0.9.11/report.pdf
|
-rw-r--r-- | 500366 | root |
root |
/usr/share/doc/curry-0.9.11/user.pdf
|
-rw-r--r-- | 5966 | root |
root |
/usr/share/man/man1/cyc-0.9.11.1.gz
|
-rw-r--r-- | 42 | root |
root |
/usr/share/man/man1/cyc.1.gz
|
-rw-r--r-- | 2661 | root |
root |
/usr/share/man/man1/cyi-0.9.11.1.gz
|
-rw-r--r-- | 42 | root |
root |
/usr/share/man/man1/cyi.1.gz
|
-rw-r--r-- | 2310 | root |
root |
/usr/share/man/man1/cymake-0.9.11.1.gz
|
-rw-r--r-- | 45 | root |
root |
/usr/share/man/man1/cymake.1.gz
|