DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
haskell-copilot-theorem
/
3.13-1
/ debian
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: debian
.. (parent)
d
rwxr-xr-x
19
source
-
rw-r--r--
768
changelog
-
rw-r--r--
3
compat
-
rw-r--r--
3,286
control
-
rw-r--r--
2,009
copyright
-
rwxr-xr-x
239
rules
-
rw-r--r--
135
watch