| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| maude-2.7.1/ | H | 03-May-2022 | - | 379,944 | 297,324 | |
| .license-catalog.mk | H A D | 03-May-2022 | 222 | 6 | 5 | |
| .license-report | H A D | 03-May-2022 | 81 | 2 | 1 | |
| full-maude.maude | H A D | 29-Jul-2016 | 859.7 KiB | 21,038 | 18,570 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| maude-2.7.1/ | H | 03-May-2022 | - | 379,944 | 297,324 | |
| .license-catalog.mk | H A D | 03-May-2022 | 222 | 6 | 5 | |
| .license-report | H A D | 03-May-2022 | 81 | 2 | 1 | |
| full-maude.maude | H A D | 29-Jul-2016 | 859.7 KiB | 21,038 | 18,570 |