File: libbrial-groebner-dev.install

package info (click to toggle)
brial 1.2.11-2.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 11,408 kB
  • sloc: cpp: 219,828; ansic: 43,783; python: 4,172; makefile: 336; sh: 5
file content (2 lines) | stat: -rw-r--r-- 61 bytes parent folder | download | duplicates (6) 
1
2
 
usr/include/polybori/groebner
usr/lib/*/libbrial_groebner.so