package info (click to toggle)
aac-tactics 0.4-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 408 kB
  • ctags: 354
  • sloc: ml: 2,704; makefile: 44

Folder: debian

d .. (parent)
d d rwxr-xr-x 19 source
- - rw-r--r-- 2,547 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 1,888 control
- - rw-r--r-- 1,116 copyright
- - rw-r--r-- 30 gbp.conf
- - rw-r--r-- 289 libaac-tactics-coq.doc-base.theories
- - rw-r--r-- 11 libaac-tactics-coq.docs
- - rw-r--r-- 138 libaac-tactics-coq.install
- - rw-r--r-- 99 libaac-tactics-ocaml-dev.install
- - rw-r--r-- 110 libaac-tactics-ocaml-dev.lintian-overrides
- - rw-r--r-- 136 libaac-tactics-ocaml-dev.ocamldoc
- - rw-r--r-- 97 libaac-tactics-ocaml.install.in
- - rwxr-xr-x 626 rules
- - rw-r--r-- 117 watch