Index of /packages/linux-debian/pool/main/j/jtreg

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]jtreg_5.1-b01-2~deb10u1.dsc2021-12-18 15:17 2.0K 
[TXT]jtreg_5.1-b01-2.dsc2020-07-15 06:46 2.0K 
[   ]jtreg_5.1-b01-2.debian.tar.xz2020-07-15 06:46 6.1K 
[   ]jtreg_5.1-b01-2~deb10u1.debian.tar.xz2021-12-18 15:17 6.2K 
[   ]jtreg_5.1-b01.orig.tar.gz2020-06-10 21:27 479K 
[   ]jtreg_5.1-b01-2_all.deb2020-07-15 06:56 598K 
[   ]jtreg_5.1-b01-2~deb10u1_all.deb2021-12-21 15:38 599K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443