File: install

package info (click to toggle)
picosat 936-4
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 464 kB
  • sloc: ansic: 13,779; sh: 160; makefile: 139
file content (8 lines) | stat: -rw-r--r-- 220 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
 
picosat usr/bin/
picomus usr/bin/
libpicosat.a usr/lib/
libpicosat.so.1.0.0 usr/lib/
trace/picosat.trace usr/bin/
trace/libpicosat-trace.a usr/lib/
trace/libpicosat-trace.so.1.0.0 usr/lib/
picosat.h usr/include/picosat/