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

Folder: 1.6.3-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 155 debian
d d rwxr-xr-x 148 doc
d d rwxr-xr-x 41 src
d d rwxr-xr-x 4,096 test
- - rw-r--r-- 11,372 CHANGES.md
- - rw-r--r-- 1,504 LICENSE
- - rw-r--r-- 10,493 README.md
- - rw-r--r-- 635 solverBounds.config
- - rw-r--r-- 10,716 what4.cabal