WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
src2tex_2.12h-11.debian.tar.xz 2025-05-14 13:03 4.9K
src2tex_2.12h-11.dsc 2025-05-14 13:03 2.1K
src2tex_2.12h-11_amd64.deb 2025-05-14 13:24 241.7K
src2tex_2.12h-11_arm64.deb 2025-05-14 13:24 236.2K
src2tex_2.12h-11_armhf.deb 2025-05-14 13:24 236.0K
src2tex_2.12h-11_i386.deb 2025-05-14 13:24 240.8K
src2tex_2.12h-9+b1_amd64.deb 2017-03-15 23:41 418.7K
src2tex_2.12h-9+b1_arm64.deb 2017-03-15 23:15 410.9K
src2tex_2.12h-9+b1_armhf.deb 2017-03-16 01:29 413.3K
src2tex_2.12h-9+b1_i386.deb 2017-03-15 23:30 416.3K
src2tex_2.12h-9.diff.gz 2016-07-09 20:44 2.8K
src2tex_2.12h-9.dsc 2016-07-09 20:44 1.6K
src2tex_2.12h.orig.tar.gz 1999-06-18 18:58 364.9K