package info (click to toggle)
ppx-tools 6.2-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 352 kB
  • sloc: ml: 3,301; makefile: 23

Folder: 6.2-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 408
d d rwxr-xr-x 4,096 410
d d rwxr-xr-x 4,096 411
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 25 .gitignore
- - rw-r--r-- 32 .ocp-indent
- - rw-r--r-- 532 .travis.yml
- - rw-r--r-- 1,090 LICENSE
- - rw-r--r-- 470 Makefile
- - rw-r--r-- 5,057 README.md
- - rw-r--r-- 1,608 dune
- - rw-r--r-- 47 dune-project
- - rw-r--r-- 176 dune-workspace.dev
- - rw-r--r-- 494 ppx_tools.opam