DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
haskell-comonad
/
5.0.8-3
/ coq
package info
(click to toggle)
haskell-comonad 5.0.8-3
links:
PTS
,
VCS
area: main
in suites: forky, sid, trixie
size: 184 kB
sloc
: haskell: 853; makefile: 4
Folder: coq
.. (parent)
-
rwxr-xr-x
2,388
Store.v