coqPackages.fourcolor: 1.3.1 → 1.4.0 #2786
vbglArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
intermediate-aarch64-darwin
|
2.9 MB |
|
|
intermediate-aarch64-linux
|
3.45 MB |
|
|
intermediate-x86_64-darwin
|
2.9 MB |
|
|
intermediate-x86_64-linux
|
3.54 MB |
|
|
paths
|
507 KB |
|
|
result
|
10.8 MB |
|