package info (click to toggle)
brial 1.2.12-1.1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 11,404 kB
  • sloc: cpp: 219,610; ansic: 43,783; python: 4,172; makefile: 336; sh: 5

Folder: 1.2.12-1.1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 cudd
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 64 groebner
d d rwxr-xr-x 64 libbrial
d d rwxr-xr-x 141 m4
d d rwxr-xr-x 65 sage-brial
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 327 .gitignore
- - rw-r--r-- 2,013 .travis.yml
- - rw-r--r-- 18,142 LICENSE
- - rw-r--r-- 444 Makefile.am
- l rwxrwxrwx 9 README → README.md
- - rw-r--r-- 570 README.md
- - rwxr-xr-x 99 bootstrap.sh
- - rw-r--r-- 189 common.mk
- - rw-r--r-- 2,986 configure.ac