package info (click to toggle)
ikos 3.5-2
  • links: PTS, VCS
  • area: non-free
  • in suites: sid
  • size: 11,896 kB
  • sloc: cpp: 102,890; python: 6,471; ansic: 5,860; sh: 2,409; javascript: 348; makefile: 16

Folder: unit

d .. (parent)
d d rwxr-xr-x 34 adt
d d rwxr-xr-x 4,096 domain
d d rwxr-xr-x 29 example
d d rwxr-xr-x 28 fixpoint
d d rwxr-xr-x 82 number
d d rwxr-xr-x 50 value
- - rw-r--r-- 4,084 .clang-tidy
- - rw-r--r-- 2,792 CMakeLists.txt