package info (click to toggle)
coq-elpi 3.2.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 4,464 kB
  • sloc: ml: 13,559; python: 389; makefile: 112; sh: 34

Folder: debian

d .. (parent)
d d rwxr-xr-x 60 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 29 upstream
- - rw-r--r-- 6,673 changelog
- - rw-r--r-- 1,125 control
- - rw-r--r-- 1,031 copyright
- - rw-r--r-- 10 libcoq-elpi.docs
- - rw-r--r-- 84 libcoq-elpi.examples
- - rw-r--r-- 28 libcoq-elpi.install.in
- - rwxr-xr-x 1,403 rules
- - rw-r--r-- 71 watch