| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Bit-Vector-7.4/ | H | 03-May-2022 | - | 21,260 | 16,718 | |
| .license-catalog.mk | H A D | 03-May-2022 | 602 | 14 | 13 | |
| .license-report | H A D | 03-May-2022 | 139 | 4 | 3 | |
| GPLv1+ | H A D | 03-May-2022 | 109 | 3 | 2 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Bit-Vector-7.4/ | H | 03-May-2022 | - | 21,260 | 16,718 | |
| .license-catalog.mk | H A D | 03-May-2022 | 602 | 14 | 13 | |
| .license-report | H A D | 03-May-2022 | 139 | 4 | 3 | |
| GPLv1+ | H A D | 03-May-2022 | 109 | 3 | 2 |