Logo
Explore Help
Sign In
ExternalVendorCode/genode
1
0
Fork 0
You've already forked genode
mirror of https://github.com/genodelabs/genode.git synced 2025-05-09 03:52:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/tool/ports
History
Christian Helmuth 66d44289e1 tool/ports: streamline hash tool usage
2018-05-30 13:36:22 +02:00
..
mk
tool/ports: streamline hash tool usage
2018-05-30 13:36:22 +02:00
check_hash
tool/ports: utility for checking port hashes
2018-05-03 15:31:53 +02:00
check_port_source
tool/ports: add tool to check source availability
2015-03-19 08:57:18 +01:00
current
Tools for convenient handling of port contrib dirs
2015-01-20 11:23:50 +01:00
list
Add 'update_hash' and 'list' to tool/ports
2014-05-27 13:45:03 +02:00
prepare_port
prepare_port: prepare multiple ports at once
2016-03-07 12:34:43 +01:00
shortcut
Tools for convenient handling of port contrib dirs
2015-01-20 11:23:50 +01:00
update_hash
Add 'update_hash' and 'list' to tool/ports
2014-05-27 13:45:03 +02:00
Powered by Gitea Version: 1.23.7 Page: 103ms Template: 3ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API