package info (click to toggle)
ssreflect 1.2%2Bdfsg-6
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 1,508 kB
  • ctags: 670
  • sloc: ml: 3,349; lisp: 36; makefile: 23

Folder: debian

d .. (parent)
d d rwxr-xr-x 66 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 1,075 README.source
- - rw-r--r-- 1,376 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 2,865 control
- - rw-r--r-- 43,538 copyright
- - rw-r--r-- 30 gbp.conf
- - rw-r--r-- 432 libssreflect-coq.README.Debian
- - rw-r--r-- 312 libssreflect-coq.doc-base
- - rw-r--r-- 16 libssreflect-coq.docs
- - rw-r--r-- 25 libssreflect-coq.examples
- - rw-r--r-- 102 libssreflect-coq.install
- - rw-r--r-- 92 libssreflect-coq.links
- - rw-r--r-- 180 libssreflect-ocaml-dev.install.in
- - rw-r--r-- 122 libssreflect-ocaml.install.in
- - rwxr-xr-x 671 rules
- - rw-r--r-- 136 watch