File: libbrial-dev.install

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
file content (14 lines) | stat: -rw-r--r-- 387 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
usr/include/polybori.h
usr/include/polybori/*.*
usr/include/polybori/cache
usr/include/polybori/common
usr/include/polybori/cudd
usr/include/polybori/diagram
usr/include/polybori/except
usr/include/polybori/factories
usr/include/polybori/iterators
usr/include/polybori/literals
usr/include/polybori/orderings
usr/include/polybori/ring
usr/include/polybori/routines
usr/lib/*/libbrial.so