DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
coq-dpdgraph
/
1.0%2B8.20-1
/
.pc
/ use_install.patch
package info
(click to toggle)
coq-dpdgraph 1.0%2B8.20-1
links:
PTS
,
VCS
area: main
in suites: forky, sid, trixie
size: 608 kB
sloc
: ml: 686; makefile: 221
Folder: use_install.patch
.. (parent)
-
rw-r--r--
8,625
Makefile.in