| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bignums | 39 | logplain |
| d--------- | hierarchy-builder | 39 | logplain |
| d--------- | iris | 39 | logplain |
| d--------- | mathcomp-analysis | 39 | logplain |
| d--------- | mathcomp-bigenough | 39 | logplain |
| d--------- | mathcomp-finmap | 39 | logplain |
| d--------- | mathcomp | 39 | logplain |
| d--------- | micromega-plugin | 39 | logplain |
| d--------- | parseque | 39 | logplain |
| d--------- | relation-algebra | 39 | logplain |
| d--------- | rocq-elpi | 39 | logplain |
| d--------- | stdlib | 39 | logplain |
| d--------- | stdpp | 39 | logplain |
| d--------- | vsrocq-language-server | 39 | logplain |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |