| Mode | Name | Size | |
|---|---|---|---|
| d--------- | CoLoR | 39 | log plain |
| d--------- | HoTT | 39 | log plain |
| d--------- | QuickChick | 39 | log plain |
| d--------- | Velisarios | 39 | log plain |
| d--------- | autosubst | 106 | log plain |
| d--------- | bignums | 39 | log plain |
| d--------- | category-theory | 39 | log plain |
| d--------- | contribs | 39 | log plain |
| d--------- | coq-ext-lib | 39 | log plain |
| d--------- | coq-haskell | 39 | log plain |
| d--------- | coqprime | 39 | log plain |
| d--------- | coquelicot | 39 | log plain |
| d--------- | dpdgraph | 39 | log plain |
| d--------- | equations | 39 | log plain |
| d--------- | fiat | 36 | log plain |
| d--------- | flocq | 39 | log plain |
| d--------- | heq | 39 | log plain |
| d--------- | interval | 39 | log plain |
| d--------- | iris | 39 | log plain |
| d--------- | math-classes | 39 | log plain |
| d--------- | mathcomp | 39 | log plain |
| d--------- | metalib | 39 | log plain |
| d--------- | multinomials | 39 | log plain |
| d--------- | paco | 39 | log plain |
| d--------- | ssreflect | 39 | log plain |
| d--------- | stdpp | 39 | log plain |
| d--------- | tlc | 39 | log plain |