Merge pull request #138139 from aanderse/tomcat-updates

This commit is contained in:
Sandro 2021-09-16 20:29:37 +02:00 committed by GitHub
commit 62c7b14f0c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -32,13 +32,13 @@ let
in { in {
tomcat9 = common { tomcat9 = common {
versionMajor = "9"; versionMajor = "9";
versionMinor = "0.46"; versionMinor = "0.53";
sha256 = "02p1d7xkmfna5brwi5imjz83g5va1g6fxkiaj4q22l8jpkr6xf6h"; sha256 = "1zdnbb0bfbi7762lz69li0wf48jbfz1mv637jzcl42vbsxp4agkv";
}; };
tomcat10 = common { tomcat10 = common {
versionMajor = "10"; versionMajor = "10";
versionMinor = "0.6"; versionMinor = "0.11";
sha256 = "1bpcxpsfws3b8ykq53vrcx3f04mvs5if80p329jm3x2dvdvj3d9n"; sha256 = "1hjvsxxxavni7bis1hm56281ffmf4x0zdh65zqkrnhqa1rbs0lg2";
}; };
} }