File: haskell-what4-utils.install

package info (click to toggle)
haskell-what4 1.6.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,272 kB
  • sloc: haskell: 35,390; makefile: 3
file content (2 lines) | stat: -rw-r--r-- 85 bytes parent folder | download | duplicates (3)
1
2
./solverBounds.config usr/share/what4/.
dist-ghc/build/quickstart/quickstart usr/bin