淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/e/eprover/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
e
>
eprover
File
Size
Last Modified
..
-
Dec 05 2025 08:34:08 AM
eprover_3.0.03+ds-1.debian.tar.xz
5KB
Dec 13 2023 07:28:22 AM
eprover_3.0.03+ds-1.dsc
2KB
Dec 13 2023 07:28:22 AM
eprover_3.0.03+ds-1_amd64.deb
1587KB
Dec 13 2023 07:28:26 AM
eprover_3.0.03+ds.orig.tar.xz
1008KB
Dec 13 2023 07:28:22 AM
eprover_3.2.5+ds-1.debian.tar.xz
4KB
Nov 01 2024 01:14:03 AM
eprover_3.2.5+ds-1.dsc
2KB
Nov 01 2024 01:14:02 AM
eprover_3.2.5+ds-1build1.debian.tar.xz
4KB
Jan 17 2026 08:11:58 AM
eprover_3.2.5+ds-1build1.dsc
2KB
Jan 17 2026 08:11:58 AM
eprover_3.2.5+ds-1build1_amd64.deb
1126KB
Jan 17 2026 08:15:10 AM
eprover_3.2.5+ds-1build1_amd64v3.deb
1126KB
Jan 17 2026 08:16:35 AM
eprover_3.2.5+ds-1_amd64.deb
1125KB
Nov 01 2024 03:17:26 AM
eprover_3.2.5+ds.orig.tar.xz
1011KB
Nov 01 2024 01:14:02 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：02/10/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Dec 05 2025 08:34:08 AM
eprover_3.0.03+ds-1.debian.tar.xz 5KB Dec 13 2023 07:28:22 AM