package info (click to toggle)
aac-tactics 8.8.0+1.gbp069dc3b-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 384 kB
  • sloc: ml: 2,941; makefile: 39

Folder: debian

d .. (parent)
d d rwxr-xr-x 27 source
- - rw-r--r-- 4,016 changelog
- - rw-r--r-- 3 compat
- - rw-r--r-- 1,832 control
- - rw-r--r-- 1,042 copyright
- - rw-r--r-- 82 gbp.conf
- - rw-r--r-- 289 libaac-tactics-coq.doc-base.theories
- - rw-r--r-- 10 libaac-tactics-coq.docs
- - rw-r--r-- 206 libaac-tactics-coq.install
- - rw-r--r-- 100 libaac-tactics-ocaml-dev.install
- - rw-r--r-- 117 libaac-tactics-ocaml-dev.lintian-overrides
- - rw-r--r-- 186 libaac-tactics-ocaml-dev.ocamldoc
- - rw-r--r-- 97 libaac-tactics-ocaml.install.in
- - rw-r--r-- 157 not-installed
- - rwxr-xr-x 835 rules
- - rw-r--r-- 163 watch