淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/b/boolector/

Folder.. - Feb 20 2026 02:56:41 PM
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xzboolector_1.5.118.6b56be4.121013-1.1.deb... 5KB Jan 04 2022 01:24:34 AM
boolector_1.5.118.6b56be4.121013-1.1.dscboolector_1.5.118.6b56be4.121013-1.1.dsc 2KB Jan 04 2022 01:24:34 AM
boolector_1.5.118.6b56be4.121013-1.1_amd64.debboolector_1.5.118.6b56be4.121013-1.1_amd... 316KB Jan 04 2022 01:44:34 AM
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xzboolector_1.5.118.6b56be4.121013-1.3.deb... 5KB Nov 12 2022 07:24:08 PM
boolector_1.5.118.6b56be4.121013-1.3.dscboolector_1.5.118.6b56be4.121013-1.3.dsc 2KB Nov 12 2022 07:24:08 PM
boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xzboolector_1.5.118.6b56be4.121013-1.3buil... 5KB Dec 10 2025 07:53:48 AM
boolector_1.5.118.6b56be4.121013-1.3build1.dscboolector_1.5.118.6b56be4.121013-1.3buil... 2KB Dec 10 2025 07:53:48 AM
boolector_1.5.118.6b56be4.121013-1.3build1_amd64.debboolector_1.5.118.6b56be4.121013-1.3buil... 327KB Dec 10 2025 07:57:29 AM
boolector_1.5.118.6b56be4.121013-1.3build1_amd64v3.debboolector_1.5.118.6b56be4.121013-1.3buil... 327KB Dec 10 2025 07:58:00 AM
boolector_1.5.118.6b56be4.121013-1.3build1_arm64.debboolector_1.5.118.6b56be4.121013-1.3buil... 321KB Dec 10 2025 07:58:21 AM
boolector_1.5.118.6b56be4.121013-1.3_amd64.debboolector_1.5.118.6b56be4.121013-1.3_amd... 319KB Nov 12 2022 07:24:09 PM
boolector_1.5.118.6b56be4.121013-1.3_arm64.debboolector_1.5.118.6b56be4.121013-1.3_arm... 298KB Nov 12 2022 07:24:10 PM
boolector_1.5.118.6b56be4.121013-1.debian.tar.gzboolector_1.5.118.6b56be4.121013-1.debia... 5KB Oct 29 2012 07:08:24 AM
boolector_1.5.118.6b56be4.121013-1.dscboolector_1.5.118.6b56be4.121013-1.dsc 1KB Oct 29 2012 07:08:24 AM
boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xzboolector_1.5.118.6b56be4.121013-1build1... 5KB Apr 04 2018 02:04:34 AM
boolector_1.5.118.6b56be4.121013-1build1.dscboolector_1.5.118.6b56be4.121013-1build1... 2KB Apr 04 2018 02:04:34 AM
boolector_1.5.118.6b56be4.121013-1build1_amd64.debboolector_1.5.118.6b56be4.121013-1build1... 295KB Apr 04 2018 03:12:36 AM
boolector_1.5.118.6b56be4.121013-1build1_i386.debboolector_1.5.118.6b56be4.121013-1build1... 303KB Apr 04 2018 03:13:49 AM
boolector_1.5.118.6b56be4.121013-1_amd64.debboolector_1.5.118.6b56be4.121013-1_amd64... 345KB Oct 29 2012 10:04:07 AM
boolector_1.5.118.6b56be4.121013-1_i386.debboolector_1.5.118.6b56be4.121013-1_i386.deb 337KB Oct 29 2012 09:35:35 AM
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gzboolector_1.5.118.6b56be4.121013.orig-li... 162KB Oct 29 2012 07:08:24 AM
boolector_1.5.118.6b56be4.121013.orig.tar.gzboolector_1.5.118.6b56be4.121013.orig.ta... 184KB Oct 29 2012 07:08:24 AM
boolector_3.2.4-1.debian.tar.xzboolector_3.2.4-1.debian.tar.xz 3KB Jan 31 2026 07:31:56 AM
boolector_3.2.4-1.dscboolector_3.2.4-1.dsc 2KB Jan 31 2026 07:31:56 AM
boolector_3.2.4-1_amd64.debboolector_3.2.4-1_amd64.deb 546KB Jan 31 2026 08:34:35 AM
boolector_3.2.4-1_amd64v3.debboolector_3.2.4-1_amd64v3.deb 548KB Jan 31 2026 08:34:39 AM
boolector_3.2.4-1_arm64.debboolector_3.2.4-1_arm64.deb 506KB Jan 31 2026 08:34:44 AM
boolector_3.2.4.orig.tar.gzboolector_3.2.4.orig.tar.gz 1531KB Jan 31 2026 07:31:56 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/11/2026

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