package info (click to toggle)
haskell-copilot-theorem 3.13-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 372 kB
  • sloc: haskell: 3,914; makefile: 6

Folder: 3.13-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 134 debian
d d rwxr-xr-x 28 src
- - rw-r--r-- 1,845 CHANGELOG
- - rw-r--r-- 1,438 LICENSE
- - rw-r--r-- 32,577 README.md
- - rw-r--r-- 46 Setup.hs
- - rw-r--r-- 4,871 copilot-theorem.cabal