Index of /debian.org/debian-ports/pool/main/j/jetty12

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]jetty12_12.0.40-2_al..>2026-10-29 11:45 757K 
[   ]libjetty12-extra-jav..>2026-10-29 11:45 27M 
[   ]libjetty12-java_12.0..>2026-10-29 11:45 4.5M