Index of /by-release/ubuntu/s/src2tex
Name
Last modified
Size
Description
Parent Directory
-
patches.xml
2024-02-17 22:46
740
src2tex_2.12h-8ubuntu1.patch.bz2
2010-05-04 23:07
777
src2tex_2.12h-8ubuntu1.patch-basis
2010-05-04 23:07
8
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443