| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| spass-3.2-5-gd38d173/ | H | 03-May-2022 | - | 11,211 | 10,376 | |
| .license-catalog.mk | H A D | 03-May-2022 | 233 | 6 | 5 | |
| .license-report | H A D | 03-May-2022 | 93 | 2 | 1 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| spass-3.2-5-gd38d173/ | H | 03-May-2022 | - | 11,211 | 10,376 | |
| .license-catalog.mk | H A D | 03-May-2022 | 233 | 6 | 5 | |
| .license-report | H A D | 03-May-2022 | 93 | 2 | 1 |