blob: 743d2ade2be893812097a87a12e083e07aca5a7b [file] [log] [blame]
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
}