File: haskell-what4-utils.install

package info (click to toggle)
haskell-what4 1.3-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 2,064 kB
  • sloc: haskell: 30,796; makefile: 7
file content (2 lines) | stat: -rw-r--r-- 85 bytes parent folder | download | duplicates (2) 
1
2
 
./solverBounds.config usr/share/what4/.
dist-ghc/build/quickstart/quickstart usr/bin