| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Cli | 39 | logstatsplain |
| d--------- | LeanSearchClient | 39 | logstatsplain |
| d--------- | 39 | logstatsplain | |
| d--------- | aesop | 39 | logstatsplain |
| d--------- | batteries | 39 | logstatsplain |
| d--------- | importGraph | 39 | logstatsplain |
| d--------- | lean4 | 39 | logstatsplain |
| d--------- | mathlib | 39 | logstatsplain |
| d--------- | plausible | 39 | logstatsplain |
| d--------- | proofwidgets | 39 | logstatsplain |
| -rwxr-xr-x | update.sh | 4027 | logstatsplain |
 |
index : nixpkgs | |
| Nixpkgs mirror | NixOS |
| summaryrefslogtreecommitdiffstats |