| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 776 | logplain |
| d--------- | Bool | 289 | logplain |
| d--------- | FSets | 782 | logplain |
| d--------- | Init | 330 | logplain |
| d--------- | IntMap | 651 | logplain |
| d--------- | Lists | 263 | logplain |
| d--------- | Logic | 885 | logplain |
| d--------- | NArith | 179 | logplain |
| d--------- | Reals | 2059 | logplain |
| d--------- | Relations | 295 | logplain |
| d--------- | Setoids | 73 | logplain |
| d--------- | Sets | 957 | logplain |
| d--------- | Sorting | 149 | logplain |
| d--------- | Strings | 71 | logplain |
| d--------- | Wellfounded | 439 | logplain |
| d--------- | ZArith | 948 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |