淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/e/eprover/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
e
>
eprover
File
Size
Last Modified
..
-
May 03 2024 10:34:04 AM
eprover_2.6+ds-3.debian.tar.xz
10KB
Jul 14 2022 01:23:54 PM
eprover_2.6+ds-3.dsc
2KB
Jul 14 2022 01:23:54 PM
eprover_2.6+ds-3_amd64.deb
1072KB
Jul 14 2022 01:23:56 PM
eprover_2.6+ds.orig.tar.xz
1055KB
Jul 12 2022 07:34:00 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.1.0+ds-1.debian.tar.xz
4KB
May 03 2024 09:54:39 AM
eprover_3.1.0+ds-1.dsc
2KB
May 03 2024 09:54:39 AM
eprover_3.1.0+ds-1_amd64.deb
1111KB
May 03 2024 10:40:32 AM
eprover_3.1.0+ds.orig.tar.xz
1010KB
May 03 2024 09:54:39 AM
單位聯絡:張維廷 Tel:26215656 分機 2628 更新日期:05/26/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本,最佳視窗解析度為1024x768