package info (click to toggle)
cryptominisat 5.6.4+dfsg.1-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 3,256 kB
  • sloc: cpp: 43,282; python: 4,808; sh: 586; ansic: 562; php: 477; sql: 282; makefile: 36

Folder: 5.6.4+dfsg.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 cmake
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 102 docs
d d rwxr-xr-x 4,096 python
d d rwxr-xr-x 4,096 scripts
d d rwxr-xr-x 8,192 src
d d rwxr-xr-x 4,096 tests
d d rwxr-xr-x 4,096 utils
d d rwxr-xr-x 4,096 web
- - rw-r--r-- 320 .dockerignore
- - rw-r--r-- 408 .gitignore
- - rw-r--r-- 1,246 .gitmodules
- - rw-r--r-- 4,179 .travis.yml
- - rw-r--r-- 338 AUTHORS
- - rw-r--r-- 26,808 CMakeLists.txt
- - rw-r--r-- 1,588 Dockerfile
- - rw-r--r-- 1,458 Dockerfile.web
- - rw-r--r-- 2,345 LICENSE.txt
- - rw-r--r-- 16,123 README.markdown
- - rw-r--r-- 4,288 appveyor.yml
- - rw-r--r-- 10,580 cmsat_tablestructure.sql
- - rw-r--r-- 999 cryptominisat5Config.cmake.in
- - rw-r--r-- 448 manpage-extras