package info (click to toggle)
ssreflect 1.5-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 932 kB
  • ctags: 96
  • sloc: ml: 334; sh: 92; makefile: 67; lisp: 37

Folder: 1.5-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 99 extra
d d rwxr-xr-x 86 src
d d rwxr-xr-x 4,096 theories
- - rw-r--r-- 2,908 ANNOUNCE
- - rw-r--r-- 977 AUTHORS
- - rw-r--r-- 21,907 CeCILL-B
- - rw-r--r-- 3,229 INSTALL
- - rw-r--r-- 390 MANIFEST
- - rw-r--r-- 854 Make
- - rw-r--r-- 702 Makefile
- - rw-r--r-- 1,803 README
- - rw-r--r-- 1,778 pg-ssr.el