package info (click to toggle)
pipebang 113.00.00-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 316 kB
  • ctags: 619
  • sloc: ml: 5,844; makefile: 55

Folder: 113.00.00-2

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 28 example
d d rwxr-xr-x 108 src
- - rw-r--r-- 66 .gitignore
- - rw-r--r-- 216 CHANGES.md
- - rw-r--r-- 730 INRIA-DISCLAIMER.txt
- - rw-r--r-- 866 INSTALL.txt
- - rw-r--r-- 11,358 LICENSE.txt
- - rw-r--r-- 1,354 Makefile
- - rw-r--r-- 752 THIRD-PARTY.txt
- - rw-r--r-- 1,031 _oasis
- - rw-r--r-- 707 _tags
- - rwxr-xr-x 363 configure
- - rw-r--r-- 17,291 myocamlbuild.ml
- - rw-r--r-- 174,646 setup.ml