package info (click to toggle)
ppx-optcomp 113.33.03-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, stretch
  • size: 396 kB
  • ctags: 703
  • sloc: ml: 6,579; makefile: 55; ansic: 4

Folder: 113.33.03-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 31 bin
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 119 src
d d rwxr-xr-x 116 test
- - rw-r--r-- 66 .gitignore
- - rw-r--r-- 471 CHANGES.md
- - rw-r--r-- 730 INRIA-DISCLAIMER.txt
- - rw-r--r-- 940 INSTALL.txt
- - rw-r--r-- 11,358 LICENSE.txt
- - rw-r--r-- 651 META.ab
- - rw-r--r-- 1,698 Makefile
- - rw-r--r-- 4,117 README.md
- - rw-r--r-- 752 THIRD-PARTY.txt
- - rw-r--r-- 1,257 _oasis
- - rw-r--r-- 1,070 _tags
- - rwxr-xr-x 363 configure
- - rw-r--r-- 83 descr
- - rw-r--r-- 235 install.ml
- - rw-r--r-- 17,571 myocamlbuild.ml
- - rw-r--r-- 571 opam
- - rw-r--r-- 175,943 setup.ml