Index of /debian/pool/main/j/json4s

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 json4s_3.5.1+really3.2.10-1.debian.tar.xz   2018-11-14 18:46  4.8K  
 json4s_3.5.1+really3.2.10-1.dsc             2018-11-14 18:46  2.0K  
 json4s_3.5.1+really3.2.10.orig.tar.xz       2018-11-14 18:46  140K  
 libjson4s-java_3.5.1+really3.2.10-1_all.deb 2018-11-14 19:17  681K

Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80