| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-Makefile.install | 398 | logplain |
| -rw-r--r-- | patch-Makefile.make | 528 | logplain |
| -rw-r--r-- | patch-tools_configure_coqide.ml | 706 | logplain |
| -rw-r--r-- | patch-tools_coqdoc_dune | 482 | logplain |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |