| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BigQ.v | 1399 | logplain |
| -rw-r--r-- | Q0Make.v | 48211 | logplain |
| -rw-r--r-- | QMake_base.v | 1202 | logplain |
| -rw-r--r-- | QbiMake.v | 36309 | logplain |
| -rw-r--r-- | QifMake.v | 32739 | logplain |
| -rw-r--r-- | QpMake.v | 32942 | logplain |
| -rw-r--r-- | QvMake.v | 40378 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |