![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| jbibtex-base_2.5-2.1_all.deb | 08-Sep-2012 12:03 | 95K |
| jbibtex-base_2.5-3.1_all.deb | 14-Jun-2022 20:00 | 86K |
| jbibtex-base_2.5-3_all.deb | 11-Dec-2016 06:49 | 86K |
| ptex-base_2.5-2.1_all.deb | 08-Sep-2012 12:03 | 1.7M |
| ptex-base_2.5-3.1_all.deb | 14-Jun-2022 20:00 | 156K |
| ptex-base_2.5-3_all.deb | 11-Dec-2016 06:49 | 151K |