From 096a7e7bfb6d20c02465e143b8a639dc108a2e1b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?E=CC=81ric=20Gaspar?= <46165813+ericgaspar@users.noreply.github.com> Date: Tue, 11 Jun 2024 22:08:07 +0200 Subject: [PATCH] add tomcat10 source --- manifest.toml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/manifest.toml b/manifest.toml index 2772401..0c66e38 100644 --- a/manifest.toml +++ b/manifest.toml @@ -86,6 +86,13 @@ ram.runtime = "50M" extract = false rename = "tomcat9.deb" + [resources.sources.tomcat10_deb] + url = "https://ftp.debian.org/debian/pool/main/t/tomcat10/tomcat10_10.1.6-1+deb12u2_all.deb" + sha256 = "69cf85b0e9934314677a881a994a694c0f2fcf27065d520ef99305e53795f7f8" + format = "whatever" + extract = false + rename = "tomcat10.deb" + [resources.ports] main.default = 8080 guacd.default = 4822