淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/o/ott/

File

Size

Last Modified

.. - Sep 28 2025 11:12:54 PM

libcoq-ott_0.33+ds-2build3_amd64.deb 177KB Apr 01 2024 02:51:40 PM

libcoq-ott_0.34+ds-1build3_amd64.deb 179KB Feb 19 2025 05:25:32 AM

libcoq-ott_0.34+ds-1build4_amd64.deb 178KB Jun 20 2025 09:23:36 PM

ott-tools_0.33+ds-2build3_amd64.deb 1466KB Apr 01 2024 02:51:40 PM

ott-tools_0.34+ds-1build3_amd64.deb 1652KB Feb 19 2025 05:25:32 AM

ott-tools_0.34+ds-1build4_amd64.deb 1626KB Jun 20 2025 09:23:36 PM

ott_0.33+ds-2build3.debian.tar.xz 7KB Apr 01 2024 01:43:19 PM

ott_0.33+ds-2build3.dsc 2KB Apr 01 2024 01:43:19 PM

ott_0.33+ds.orig.tar.xz 1114KB Jun 13 2023 01:30:00 PM

ott_0.34+ds-1build3.debian.tar.xz 7KB Feb 19 2025 05:25:06 AM

ott_0.34+ds-1build3.dsc 2KB Feb 19 2025 05:25:06 AM

ott_0.34+ds-1build4.debian.tar.xz 7KB Jun 20 2025 09:22:26 PM

ott_0.34+ds-1build4.dsc 2KB Jun 20 2025 09:22:26 PM

ott_0.34+ds.orig.tar.xz 1115KB Jan 05 2025 02:00:59 AM