淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/a/aac-tactics/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
a
>
aac-tactics
File
Size
Last Modified
..
-
May 03 2024 10:34:14 AM
aac-tactics_0.4-2.debian.tar.xz
3KB
Jan 20 2014 07:09:02 PM
aac-tactics_0.4-2.dsc
2KB
Jan 20 2014 07:09:02 PM
aac-tactics_0.4-5build2.debian.tar.xz
3KB
Nov 05 2015 08:30:28 AM
aac-tactics_0.4-5build2.dsc
2KB
Nov 05 2015 08:30:28 AM
aac-tactics_0.4.orig.tar.gz
76KB
Dec 07 2013 01:23:26 AM
aac-tactics_8.6.1-2.debian.tar.xz
3KB
Nov 01 2017 09:05:16 PM
aac-tactics_8.6.1-2.dsc
2KB
Nov 01 2017 09:05:16 PM
aac-tactics_8.6.1.orig.tar.gz
73KB
Dec 31 2016 01:13:27 AM
aac-tactics_8.11.0-1.debian.tar.xz
3KB
Mar 19 2020 02:28:16 AM
aac-tactics_8.11.0-1.dsc
2KB
Mar 19 2020 02:28:16 AM
aac-tactics_8.11.0.orig.tar.gz
64KB
Mar 19 2020 02:28:16 AM
aac-tactics_8.15.0-1.debian.tar.xz
4KB
Feb 07 2022 01:19:13 AM
aac-tactics_8.15.0-1.dsc
2KB
Feb 07 2022 01:19:13 AM
aac-tactics_8.15.0.orig.tar.gz
67KB
Feb 07 2022 01:19:13 AM
aac-tactics_8.17.0-1build2.debian.tar.xz
4KB
Feb 16 2023 06:06:43 PM
aac-tactics_8.17.0-1build2.dsc
2KB
Feb 16 2023 06:06:43 PM
aac-tactics_8.17.0-2build1.debian.tar.xz
4KB
Jul 25 2023 01:37:46 AM
aac-tactics_8.17.0-2build1.dsc
2KB
Jul 25 2023 01:37:46 AM
aac-tactics_8.17.0.orig.tar.gz
74KB
Jan 05 2023 07:34:26 AM
aac-tactics_8.18.0-1build3.debian.tar.xz
4KB
Apr 08 2024 03:57:42 PM
aac-tactics_8.18.0-1build3.dsc
2KB
Apr 08 2024 03:57:42 PM
aac-tactics_8.18.0.orig.tar.gz
74KB
Dec 22 2023 07:52:05 AM
aac-tactics_8.19.0-1.debian.tar.xz
4KB
May 03 2024 09:55:56 AM
aac-tactics_8.19.0-1.dsc
2KB
May 03 2024 09:55:56 AM
aac-tactics_8.19.0.orig.tar.gz
75KB
May 03 2024 09:55:56 AM
libaac-tactics-coq_0.4-2_all.deb
208KB
Jan 20 2014 07:33:29 PM
libaac-tactics-coq_0.4-5build2_all.deb
208KB
Nov 05 2015 08:33:49 AM
libaac-tactics-coq_8.6.1-2_all.deb
216KB
Nov 01 2017 09:05:26 PM
libaac-tactics-coq_8.11.0-1_all.deb
238KB
Mar 19 2020 03:48:46 AM
libaac-tactics-coq_8.15.0-1_all.deb
282KB
Feb 07 2022 03:04:57 AM
libaac-tactics-ocaml-dev_0.4-2_amd64.deb
43KB
Jan 20 2014 07:33:28 PM
libaac-tactics-ocaml-dev_0.4-2_i386.deb
43KB
Jan 20 2014 07:33:57 PM
libaac-tactics-ocaml-dev_0.4-5build2_amd...
43KB
Nov 05 2015 08:33:49 AM
libaac-tactics-ocaml-dev_0.4-5build2_i38...
43KB
Nov 05 2015 08:34:15 AM
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
37KB
Nov 01 2017 09:05:26 PM
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
37KB
Nov 01 2017 09:05:29 PM
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb
38KB
Mar 19 2020 03:48:46 AM
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
40KB
Feb 07 2022 03:04:56 AM
libaac-tactics-ocaml_0.4-2_amd64.deb
125KB
Jan 20 2014 07:33:28 PM
libaac-tactics-ocaml_0.4-2_i386.deb
114KB
Jan 20 2014 07:33:57 PM
libaac-tactics-ocaml_0.4-5build2_amd64.deb
117KB
Nov 05 2015 08:33:46 AM
libaac-tactics-ocaml_0.4-5build2_i386.deb
109KB
Nov 05 2015 08:34:14 AM
libaac-tactics-ocaml_8.6.1-2_amd64.deb
117KB
Nov 01 2017 09:05:26 PM
libaac-tactics-ocaml_8.6.1-2_i386.deb
108KB
Nov 01 2017 09:05:28 PM
libaac-tactics-ocaml_8.11.0-1_amd64.deb
104KB
Mar 19 2020 03:48:46 AM
libaac-tactics-ocaml_8.15.0-1_amd64.deb
128KB
Feb 07 2022 03:04:56 AM
libcoq-aac-tactics_8.17.0-1build2_amd64.deb
415KB
Feb 16 2023 08:57:49 PM
libcoq-aac-tactics_8.17.0-2build1_amd64.deb
415KB
Jul 25 2023 04:24:27 AM
libcoq-aac-tactics_8.18.0-1build3_amd64.deb
412KB
Apr 08 2024 03:57:47 PM
libcoq-aac-tactics_8.19.0-1_amd64.deb
421KB
May 03 2024 09:56:15 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/10/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 03 2024 10:34:14 AM
aac-tactics_0.4-2.debian.tar.xz 3KB Jan 20 2014 07:09:02 PM
aac-tactics_0.4.orig.tar.gz 76KB Dec 07 2013 01:23:26 AM