package info (click to toggle)
ppx-core 113.33.03-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, stretch
  • size: 520 kB
  • ctags: 691
  • sloc: ml: 8,895; makefile: 54

Folder: 113.33.03-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 src
- - rw-r--r-- 66 .gitignore
- - rw-r--r-- 1,864 CHANGES.md
- - rw-r--r-- 730 INRIA-DISCLAIMER.txt
- - rw-r--r-- 971 INSTALL.txt
- - rw-r--r-- 11,358 LICENSE.txt
- - rw-r--r-- 638 META.ab
- - rw-r--r-- 1,695 Makefile
- - rw-r--r-- 630 README.md
- - rw-r--r-- 752 THIRD-PARTY.txt
- - rw-r--r-- 2,246 _oasis
- - rw-r--r-- 1,873 _tags
- - rwxr-xr-x 363 configure
- - rw-r--r-- 87 descr
- - rw-r--r-- 181 install.ml
- - rw-r--r-- 18,608 myocamlbuild.ml
- - rw-r--r-- 549 opam
- - rw-r--r-- 179,575 setup.ml