| Mode | Name | Size | |
|---|---|---|---|
| d--------- | QuickChick | 39 | logstatsplain |
| d--------- | bedrock | 39 | logstatsplain |
| d--------- | contribs | 116 | logstatsplain |
| d--------- | coq-ext-lib | 39 | logstatsplain |
| d--------- | coqeal | 39 | logstatsplain |
| d--------- | coquelicot | 39 | logstatsplain |
| d--------- | domains | 80 | logstatsplain |
| d--------- | dpdgraph | 39 | logstatsplain |
| d--------- | fiat | 39 | logstatsplain |
| d--------- | flocq | 39 | logstatsplain |
| d--------- | heq | 39 | logstatsplain |
| d--------- | interval | 39 | logstatsplain |
| d--------- | mathcomp | 78 | logstatsplain |
| d--------- | paco | 39 | logstatsplain |
| d--------- | ssreflect | 78 | logstatsplain |
| d--------- | tlc | 39 | logstatsplain |
| d--------- | unimath | 39 | logstatsplain |
| d--------- | ynot | 39 | logstatsplain |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |