淡江大學FTP伺服器

/檔案列表/Linux/Gentoo/gentoo-portage/metadata/md5-cache/sci-mathematics/

Folder.. - Aug 10 2025 12:41:20 PM
4ti2-1.6.7-r14ti2-1.6.7-r1 1KB Jul 15 2025 03:21:50 AM
4ti2-1.6.104ti2-1.6.10 1KB Jul 15 2025 03:21:50 AM
abc-0_p20230313abc-0_p20230313 1KB Jul 15 2025 03:21:50 AM
abc-9999abc-9999 1KB Jul 15 2025 03:21:50 AM
acl2-8.5_p20240307-r1acl2-8.5_p20240307-r1 1KB Apr 24 2025 12:27:42 AM
acl2-8.6acl2-8.6 1KB Jul 02 2025 09:11:47 AM
alectryon-1.4.0-r2alectryon-1.4.0-r2 3KB Aug 10 2025 01:12:52 AM
alt-ergo-2.4.3-r2alt-ergo-2.4.3-r2 1KB May 14 2025 04:41:38 PM
arb-2.23.0arb-2.23.0 1KB Jul 15 2025 03:21:50 AM
bertini-1.4bertini-1.4 1KB Jul 15 2025 03:21:50 AM
bertini-1.6bertini-1.6 1KB Jul 15 2025 03:21:50 AM
btor2tools-1.0.0_pre20220518-r1btor2tools-1.0.0_pre20220518-r1 1KB Jul 15 2025 03:21:50 AM
cadabra-2.4.5.4cadabra-2.4.5.4 3KB Jul 25 2025 02:14:12 PM
cadabra-2.4.5.6cadabra-2.4.5.6 3KB Jul 25 2025 02:14:12 PM
cadabra-2.4.5.7cadabra-2.4.5.7 3KB Jul 25 2025 02:14:12 PM
cadical-1.9.5cadical-1.9.5 0KB Aug 09 2025 05:41:13 AM
cadical-2.0.0cadical-2.0.0 1KB Aug 09 2025 05:41:13 AM
calc-2.13.0.1calc-2.13.0.1 1KB Jul 15 2025 03:21:50 AM
cgal-5.6cgal-5.6 1KB Jul 15 2025 03:21:50 AM
cgal-5.6.1cgal-5.6.1 1KB Jul 15 2025 03:21:50 AM
cgal-6.0cgal-6.0 1KB Jul 15 2025 03:21:50 AM
cgal-6.0.1cgal-6.0.1 1KB Jul 15 2025 03:21:50 AM
clipper2-1.5.3clipper2-1.5.3 1KB Jul 15 2025 03:21:50 AM
clipper2-1.5.4clipper2-1.5.4 1KB Aug 01 2025 04:41:05 PM
cliquer-1.22cliquer-1.22 0KB Nov 23 2023 06:40:40 AM
cliquer-1.23cliquer-1.23 0KB Aug 10 2025 03:11:23 AM
coq-8.17.1-r1coq-8.17.1-r1 1KB May 14 2025 04:41:38 PM
coq-8.19.2-r1coq-8.19.2-r1 1KB May 14 2025 04:41:38 PM
coq-8.20.0-r1coq-8.20.0-r1 1KB May 14 2025 04:41:38 PM
coq-9.0.0coq-9.0.0 1KB May 14 2025 04:41:38 PM
coq-mathcomp-1.19.0-r1coq-mathcomp-1.19.0-r1 0KB Mar 17 2025 08:11:20 AM
coq-serapi-0.20.0coq-serapi-0.20.0 1KB May 14 2025 04:41:38 PM
coq-stdlib-9.0.0coq-stdlib-9.0.0 1KB May 14 2025 04:41:38 PM
cryptominisat-5.11.21-r2cryptominisat-5.11.21-r2 2KB Aug 10 2025 01:12:52 AM
cubicle-1.2.0-r2cubicle-1.2.0-r2 1KB Jul 15 2025 03:21:50 AM
cudd-3.0.0cudd-3.0.0 0KB Dec 19 2022 06:10:27 AM
cvc4-1.8-r6cvc4-1.8-r6 1KB Jul 25 2025 02:14:12 PM
dataplot-20131220dataplot-20131220 1KB Jul 15 2025 03:21:50 AM
diagrtb-2.64diagrtb-2.64 1KB Jul 15 2025 03:21:50 AM
dsfmt-2.2.4dsfmt-2.2.4 0KB Jul 15 2025 03:21:50 AM
dunshire-0.1.3-r2dunshire-0.1.3-r2 2KB Aug 10 2025 01:12:52 AM
easycrypt-2025.03easycrypt-2025.03 1KB Jul 01 2025 08:41:22 AM
easycrypt-2025.08easycrypt-2025.08 1KB Aug 10 2025 01:42:40 AM
eclib-20250122eclib-20250122 1KB Apr 19 2025 08:34:06 AM
eclib-20250627eclib-20250627 1KB Jul 31 2025 09:41:48 AM
ent-101202ent-101202 0KB Jul 15 2025 03:21:50 AM
eprover-3.0.03eprover-3.0.03 0KB Jul 15 2025 03:21:50 AM
eprover-3.0_pre008eprover-3.0_pre008 0KB Jul 15 2025 03:21:50 AM
euler-1.61.0-r1euler-1.61.0-r1 1KB Jul 15 2025 03:21:50 AM
fann-2.2.0-r2fann-2.2.0-r2 1KB Jul 15 2025 03:21:50 AM
fann-9999fann-9999 1KB Jul 15 2025 03:21:50 AM
flint-3.1.3_p1-r4flint-3.1.3_p1-r4 1KB Jul 25 2025 02:14:12 PM
flint-3.3.1-r1flint-3.3.1-r1 1KB Aug 04 2025 03:43:06 PM
flocq-4.2.1flocq-4.2.1 1KB Feb 17 2025 06:41:04 AM
form-4.3.1form-4.3.1 1KB Jul 15 2025 03:21:50 AM
form-5.0.0_beta1form-5.0.0_beta1 1KB Jul 15 2025 03:21:50 AM
fricas-1.3.12fricas-1.3.12 1KB Jun 04 2025 06:11:16 PM
frobby-0.9.0-r4frobby-0.9.0-r4 0KB Jul 15 2025 03:21:50 AM
functions-matlab-colormaps-1.0_p20250328functions-matlab-colormaps-1.0_p20250328 0KB Jun 21 2025 01:06:07 AM
gap-4.14.0gap-4.14.0 1KB Apr 28 2025 10:11:03 PM
gap-4.14.0-r1gap-4.14.0-r1 1KB Jul 19 2025 08:41:04 AM
gappa-1.4.1gappa-1.4.1 1KB Nov 13 2024 02:41:25 AM
gappa-1.4.2gappa-1.4.2 1KB Nov 13 2024 02:41:25 AM
gappalib-coq-1.5.2-r1gappalib-coq-1.5.2-r1 1KB Oct 08 2024 11:52:45 PM
gappalib-coq-1.5.3gappalib-coq-1.5.3 1KB Oct 08 2024 11:52:45 PM
genius-1.0.27genius-1.0.27 2KB Jul 15 2025 03:21:50 AM
geogebra-bin-5.0.752.0geogebra-bin-5.0.752.0 1KB Oct 08 2024 11:52:45 PM
geogebra-bin-6.0.804.0geogebra-bin-6.0.804.0 1KB Oct 08 2024 11:52:45 PM
geomview-1.9.5-r1geomview-1.9.5-r1 1KB Jul 15 2025 03:21:50 AM
gfan-0.6.2-r6gfan-0.6.2-r6 1KB Jul 15 2025 03:21:50 AM
gfan-0.6.2-r7gfan-0.6.2-r7 1KB Jul 15 2025 03:21:50 AM
giac-1.9.0.995-r2giac-1.9.0.995-r2 2KB Jul 15 2025 03:21:50 AM
gimps-30.8.15gimps-30.8.15 1KB Jul 15 2025 03:21:50 AM
gimps-30.8.17gimps-30.8.17 1KB Jul 15 2025 03:21:50 AM
gimps-30.19.14gimps-30.19.14 1KB Jul 15 2025 03:21:50 AM
gimps-30.19.20gimps-30.19.20 1KB Jul 15 2025 03:21:50 AM
ginac-1.8.9ginac-1.8.9 1KB Jul 25 2025 02:14:12 PM
glpk-5.0-r3glpk-5.0-r3 1KB Jul 15 2025 03:21:50 AM
gmm-5.4gmm-5.4 0KB Jul 15 2025 03:21:50 AM
gmm-5.4.2gmm-5.4.2 0KB Oct 26 2024 06:41:04 AM
gmp-ecm-7.0.6-r1gmp-ecm-7.0.6-r1 1KB Jul 15 2025 03:21:50 AM
gp2c-0.0.12gp2c-0.0.12 0KB Dec 06 2021 03:39:52 PM
gp2c-0.0.14gp2c-0.0.14 0KB Aug 08 2025 09:05:21 PM
gretl-2021dgretl-2021d 2KB Jul 15 2025 03:21:50 AM
gsl-shell-2.3.5gsl-shell-2.3.5 2KB Jul 25 2025 02:14:12 PM
jags-4.3.1-r1jags-4.3.1-r1 1KB Jul 15 2025 03:21:50 AM
kind2-1.9.0kind2-1.9.0 1KB May 14 2025 04:41:38 PM
kissat-3.1.1-r1kissat-3.1.1-r1 0KB Aug 02 2025 01:41:04 AM
lcalc-2.0.5-r2lcalc-2.0.5-r2 1KB Aug 27 2024 09:11:33 AM
lcalc-2.1.1lcalc-2.1.1 1KB Jul 15 2025 03:21:50 AM
lean-4.14.0-r1lean-4.14.0-r1 1KB Jul 25 2025 02:14:12 PM
libpoly-0.1.11libpoly-0.1.11 2KB Jul 25 2025 02:14:12 PM
lpsolve-5.5.2.11-r2lpsolve-5.5.2.11-r2 1KB Jul 15 2025 03:21:50 AM
lrcalc-1.2lrcalc-1.2 0KB Jun 09 2023 11:40:46 PM
lrcalc-2.1lrcalc-2.1 0KB Aug 21 2024 05:11:22 AM
Manifest.gzManifest.gz 31KB Aug 10 2025 03:11:23 AM
manifold-3.0.1manifold-3.0.1 2KB Jul 25 2025 02:14:12 PM
manifold-3.0.2_pre20250330manifold-3.0.2_pre20250330 2KB Jul 25 2025 02:14:12 PM
manifold-3.1.0-r1manifold-3.1.0-r1 2KB Jul 25 2025 02:14:12 PM
manifold-9999manifold-9999 2KB Jul 25 2025 02:14:12 PM
mathematica-10.3.1-r1mathematica-10.3.1-r1 1KB Jul 15 2025 03:21:50 AM
mathematica-10.3.1-r2mathematica-10.3.1-r2 1KB Jul 15 2025 03:21:50 AM
mathematica-12.1.0mathematica-12.1.0 1KB Jul 15 2025 03:21:50 AM
mathematica-12.1.1-r1mathematica-12.1.1-r1 1KB Jul 15 2025 03:21:50 AM
mathematica-12.2.0mathematica-12.2.0 1KB Jul 15 2025 03:21:50 AM
mathematica-13.0.0mathematica-13.0.0 1KB Jul 15 2025 03:21:50 AM
mathematica-13.0.1mathematica-13.0.1 1KB Jul 15 2025 03:21:50 AM
mathematica-13.1.0mathematica-13.1.0 1KB Jul 15 2025 03:21:50 AM
mathematica-13.2.1mathematica-13.2.1 1KB Jul 15 2025 03:21:50 AM
mathematica-13.3.1-r1mathematica-13.3.1-r1 1KB Jul 15 2025 03:21:50 AM
mathematica-14.0.0-r1mathematica-14.0.0-r1 1KB Jul 15 2025 03:21:50 AM
mathematica-14.1.0-r1mathematica-14.1.0-r1 2KB Jul 15 2025 03:21:50 AM
mathmod-12.0mathmod-12.0 1KB Jul 15 2025 03:21:50 AM
mathmod-12.1mathmod-12.1 1KB Jul 15 2025 03:21:50 AM
mathomatic-16.0.5-r1mathomatic-16.0.5-r1 1KB Jul 15 2025 03:21:50 AM
maxima-5.47.0-r1maxima-5.47.0-r1 3KB Jul 25 2025 02:14:12 PM
maxima-5.47.0-r2maxima-5.47.0-r2 3KB Jul 25 2025 02:14:12 PM
maxima-5.48.1maxima-5.48.1 3KB Aug 06 2025 10:07:16 PM
metamath-0.198metamath-0.198 1KB Jul 15 2025 03:21:50 AM
metamath-databases-20220303metamath-databases-20220303 0KB Mar 05 2023 12:40:16 AM
minisat-2.2.1-r1minisat-2.2.1-r1 1KB Jul 15 2025 03:21:50 AM
msieve-1.53-r1msieve-1.53-r1 1KB Jul 15 2025 03:21:50 AM
msieve-1.53-r3msieve-1.53-r3 1KB Aug 08 2025 01:11:24 AM
nauty-2.8.8-r1nauty-2.8.8-r1 1KB Jul 15 2025 03:21:50 AM
nestedsums-1.5.2-r1nestedsums-1.5.2-r1 1KB Jul 15 2025 03:21:50 AM
normaliz-3.9.3normaliz-3.9.3 1KB Jul 15 2025 03:21:50 AM
normaliz-3.10.1normaliz-3.10.1 1KB Jul 15 2025 03:21:50 AM
normaliz-3.10.5normaliz-3.10.5 1KB Jul 15 2025 03:21:50 AM
num-utils-0.5-r2num-utils-0.5-r2 0KB Jun 09 2023 11:40:46 PM
octave-9.2.0-r2octave-9.2.0-r2 4KB Jul 15 2025 03:21:50 AM
octave-epstk-2.4octave-epstk-2.4 0KB Nov 22 2021 11:39:53 AM
opensmt-2.5.2opensmt-2.5.2 1KB Jul 15 2025 03:21:50 AM
opensmt-2.7.0opensmt-2.7.0 1KB Jul 15 2025 03:21:50 AM
otter-3.3-r4otter-3.3-r4 1KB Jul 15 2025 03:21:50 AM
palp-2.21palp-2.21 1KB Jul 15 2025 03:21:50 AM
pari-2.15.5pari-2.15.5 1KB Jul 15 2025 03:21:50 AM
pari-2.17.1pari-2.17.1 1KB Jul 15 2025 03:21:50 AM
pari-2.17.2pari-2.17.2 1KB Aug 08 2025 09:05:21 PM
pari-data-20191216pari-data-20191216 1KB Aug 19 2024 09:11:05 PM
petsc-3.22.2petsc-3.22.2 2KB Jul 25 2025 02:14:12 PM
petsc-3.23.3petsc-3.23.3 2KB Aug 10 2025 01:42:40 AM
petsc-3.23.4petsc-3.23.4 2KB Aug 10 2025 01:42:40 AM
picosat-965picosat-965 0KB Jul 15 2025 03:21:50 AM
planarity-3.0.2.0planarity-3.0.2.0 0KB Aug 21 2024 05:11:22 AM
planarity-4.0.0.0planarity-4.0.0.0 0KB Jun 23 2025 04:11:03 AM
plfit-0.9.5plfit-0.9.5 1KB Jul 15 2025 03:21:50 AM
polymake-4.13polymake-4.13 2KB Jul 15 2025 03:21:50 AM
polymake-4.14polymake-4.14 2KB Jul 24 2025 06:11:20 AM
primecount-7.13-r1primecount-7.13-r1 1KB Jul 15 2025 03:21:50 AM
primesieve-12.3primesieve-12.3 1KB Jul 15 2025 03:21:50 AM
prng-3.0.2-r3prng-3.0.2-r3 1KB Jul 15 2025 03:21:50 AM
prover9-2009.11a-r2prover9-2009.11a-r2 0KB Jul 15 2025 03:21:50 AM
proverif-2.04-r1proverif-2.04-r1 1KB May 14 2025 04:41:38 PM
proverif-2.05proverif-2.05 1KB May 14 2025 04:41:38 PM
proverif-9999proverif-9999 1KB May 14 2025 04:41:38 PM
psmt2-frontend-0.4.0psmt2-frontend-0.4.0 1KB May 14 2025 04:41:38 PM
pspp-1.6.2-r3pspp-1.6.2-r3 2KB Jul 25 2025 02:14:12 PM
pspp-2.0.1-r1pspp-2.0.1-r1 2KB Jul 25 2025 02:14:12 PM
rkward-0.8.1rkward-0.8.1 3KB Jul 15 2025 03:21:50 AM
rngstreams-1.0.1rngstreams-1.0.1 0KB Jun 09 2023 11:40:46 PM
rw-0.9rw-0.9 0KB Sep 21 2024 12:11:25 PM
sha1-polyml-5.9sha1-polyml-5.9 0KB Jul 15 2025 03:21:50 AM
singular-4.4.1singular-4.4.1 1KB Jun 23 2025 04:11:03 AM
singular-4.4.1-r1singular-4.4.1-r1 1KB Jul 31 2025 11:07:47 PM
slepc-3.22.1slepc-3.22.1 1KB Jul 25 2025 02:14:12 PM
slepc-3.23.1slepc-3.23.1 1KB Jul 25 2025 02:14:12 PM
smtinterpol-2.5_p20211018-r1smtinterpol-2.5_p20211018-r1 1KB Jul 10 2025 04:11:33 PM
spin-6.5.2-r1spin-6.5.2-r1 1KB Jul 15 2025 03:21:50 AM
stp-2.3.3-r3stp-2.3.3-r3 2KB Jul 25 2025 02:14:12 PM
stp-2.3.4stp-2.3.4 2KB Jul 25 2025 02:14:12 PM
sympow-2.023.7sympow-2.023.7 0KB Jul 15 2025 03:21:50 AM
topcom-0.17.8-r3topcom-0.17.8-r3 1KB Jul 15 2025 03:21:50 AM
topcom-1.1.2topcom-1.1.2 1KB Jul 15 2025 03:21:50 AM
twelf-1.7.1-r2twelf-1.7.1-r2 1KB Jul 15 2025 03:21:50 AM
unuran-1.8.1unuran-1.8.1 1KB Jun 09 2023 11:40:46 PM
unuran-1.9.0unuran-1.9.0 1KB Jul 15 2025 03:21:50 AM
vampire-4.8vampire-4.8 1KB Jul 15 2025 03:21:50 AM
vampire-4.9vampire-4.9 1KB Jul 15 2025 03:21:50 AM
verifpal-0.27.0verifpal-0.27.0 1KB Jul 15 2025 03:21:50 AM
verit-2021.06.2verit-2021.06.2 0KB Mar 11 2022 05:39:55 AM
why3-1.6.0why3-1.6.0 2KB Jul 15 2025 03:21:50 AM
why3-1.7.2why3-1.7.2 2KB Jul 15 2025 03:21:50 AM
why3-1.8.0why3-1.8.0 2KB Jul 15 2025 03:21:50 AM
why3-1.8.1why3-1.8.1 2KB Jul 15 2025 03:21:50 AM
why3-for-spark-2021-r1why3-for-spark-2021-r1 2KB Jul 15 2025 03:21:50 AM
why3-for-spark-2023.12.13-r2why3-for-spark-2023.12.13-r2 2KB Jul 15 2025 03:21:50 AM
wxmaxima-25.04.0-r2wxmaxima-25.04.0-r2 1KB Jul 15 2025 03:21:50 AM
yacas-1.9.1-r2yacas-1.9.1-r2 1KB Jul 15 2025 03:21:50 AM
yafu-1.34.3-r2yafu-1.34.3-r2 1KB Jul 15 2025 03:21:50 AM
yices2-2.6.4-r1yices2-2.6.4-r1 1KB Jul 15 2025 03:21:50 AM
yices2-2.6.5yices2-2.6.5 1KB Jul 15 2025 03:21:50 AM
z3-4.15.2z3-4.15.2 2KB Jul 25 2025 02:14:12 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/02/2026

Copyright 2009 淡江大學資訊處 建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768