Norman Feske d4975235c2 tool/depot: download archives from web server ...

This patch replaces the toy downloader (that merely copied files
locally, for testing) with the mechanics needed to download files from a
www server.

It also changes the use of GPG to use detached signatures.

Issue #2339

2017-05-31 13:16:24 +02:00

..

mk

tool/depot: download archives from web server

2017-05-31 13:16:24 +02:00

build

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

create

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

dependencies

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

download

tool/depot: download archives from web server

2017-05-31 13:16:24 +02:00

extract

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

publish

tool/depot: download archives from web server

2017-05-31 13:16:24 +02:00