package info (click to toggle)
lambda-term 1.10.1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 1,148 kB
  • ctags: 1,919
  • sloc: ml: 18,101; ansic: 525; makefile: 66

Folder: 1.10.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 examples
d d rwxr-xr-x 74 man
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 43 tests
d d rwxr-xr-x 43 tools
- - rw-r--r-- 151 .gitignore
- - rw-r--r-- 149 .merlin
- - rw-r--r-- 2,450 CHANGES.md
- - rw-r--r-- 1,518 LICENSE
- - rw-r--r-- 1,558 Makefile
- - rw-r--r-- 2,897 README.md
- - rw-r--r-- 8,225 _oasis
- - rw-r--r-- 7,404 _tags
- - rwxr-xr-x 363 configure
- - rw-r--r-- 382 lambda-term-api.odocl
- - rw-r--r-- 1,242 lambda-term-inputrc
- - rw-r--r-- 422 lambda-termrc
- - rw-r--r-- 22,233 myocamlbuild.ml
- - rw-r--r-- 1,293 print_sequences.ml
- - rw-r--r-- 220,563 setup.ml
- - rw-r--r-- 2,590 style.css