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: 1.2+dfsg-6

show hidden (1)
d .. (parent)
d d rwxr-xr-x 119 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 31 doc
d d rwxr-xr-x 33 src
d d rwxr-xr-x 4,096 theories
- - rw-r--r-- 3,599 ANNOUNCE
- - rw-r--r-- 727 AUTHORS
- - rw-r--r-- 21,097 CeCILL-2
- - rw-r--r-- 21,907 CeCILL-B
- - rw-r--r-- 5,470 INSTALL
- - rw-r--r-- 1,198 MANIFEST
- - rw-r--r-- 573 Make
- - rw-r--r-- 2,015 README
- - rw-r--r-- 1,725 pg-ssr.el