| Mode | Name | Size | |
|---|---|---|---|
| d--------- | cc | 37 | logplain |
| d--------- | correctness | 474 | logplain |
| d--------- | extraction | 45 | logplain |
| d--------- | field | 160 | logplain |
| d--------- | fourier | 79 | logplain |
| d--------- | interface | 109 | logplain |
| d--------- | omega | 76 | logplain |
| d--------- | ring | 456 | logplain |
| d--------- | romega | 79 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |