package info (click to toggle)
ppx-tools 5.0+4.05.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 172 kB
  • ctags: 266
  • sloc: ml: 1,266; makefile: 92

Folder: 5.0+4.05.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 449 .depend
- - rw-r--r-- 127 .gitignore
- - rw-r--r-- 35 .merlin
- - rw-r--r-- 32 .ocp-indent
- - rw-r--r-- 378 .travis.yml
- - rw-r--r-- 1,090 LICENSE
- - rw-r--r-- 365 META
- - rw-r--r-- 3,032 Makefile
- - rw-r--r-- 4,949 README.md
- - rw-r--r-- 4,560 ast_convenience.ml
- - rw-r--r-- 3,929 ast_convenience.mli
- - rw-r--r-- 24,101 ast_mapper_class.ml
- - rw-r--r-- 2,826 ast_mapper_class.mli
- - rw-r--r-- 4,098 dumpast.ml
- - rw-r--r-- 7,899 genlifter.ml
- - rw-r--r-- 507 opam
- - rw-r--r-- 10,135 ppx_metaquot.ml
- - rw-r--r-- 3,655 rewriter.ml