package info (click to toggle)
curry-tools 1.0.1%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,492 kB
  • ctags: 121
  • sloc: makefile: 470; sh: 421

Folder: 1.0.1+dfsg1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 142 .pc
d d rwxr-xr-x 4,096 CASS
d d rwxr-xr-x 54 addtypes
d d rwxr-xr-x 4,096 analysis
d d rwxr-xr-x 4,096 browser
d d rwxr-xr-x 4,096 casc
d d rwxr-xr-x 60 createmakefile
d d rwxr-xr-x 54 curry2js
d d rwxr-xr-x 4,096 currycheck
d d rwxr-xr-x 4,096 currydoc
d d rwxr-xr-x 4,096 currypp
d d rwxr-xr-x 70 currytest
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 ertools
d d rwxr-xr-x 57 importcalls
d d rwxr-xr-x 75 optimize
d d rwxr-xr-x 4,096 peval
d d rwxr-xr-x 88 runcurry
d d rwxr-xr-x 4,096 verification
d d rwxr-xr-x 73 xmldata
- - rw-r--r-- 608 .gitignore
- - rw-r--r-- 1,480 LICENSE
- - rw-r--r-- 1,677 Makefile
- - rw-r--r-- 2,006 README.md