| name: "GNU Make" | |
| description: | |
| "GNU Make is a tool which controls the generation of executables and" | |
| "other non-source files of a program from the program's source files." | |
| third_party { | |
| url { | |
| type: HOMEPAGE | |
| value: "https://www.gnu.org/software/make" | |
| } | |
| url { | |
| type: ARCHIVE | |
| value: "https://ftp.gnu.org/gnu/make/make-4.3.tar.gz" | |
| } | |
| version: "4.3" | |
| last_upgrade_date { year: 2021 month: 11 day: 24 } | |
| license_type: RESTRICTED | |
| } |