package info (click to toggle)
boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 18,556 kB
  • sloc: cs: 87,526; python: 183; lisp: 83; makefile: 13; sh: 2

Folder: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 78 Binaries
d d rwxr-xr-x 4,096 Source
d d rwxr-xr-x 4,096 Test
d d rwxr-xr-x 130 Util
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 1,112 .gitattributes
- - rw-r--r-- 463 .gitignore
- - rw-r--r-- 1,235 .travis.yml
- - rw-r--r-- 2,630 LICENSE.txt
- - rw-r--r-- 3,826 README.md