淡江大學FTP伺服器

/檔案列表/Linux/Kali/kali/pool/main/a/agda-stdlib/

首頁 > Linux > Kali > kali > pool > main > a > agda-stdlib

Folder

.. - May 29 2025 10:36:08 PM

agda-stdlib-doc_2.1-4_all.deb

agda-stdlib-doc_2.1-4_all.deb 3691KB Nov 26 2024 03:39:51 AM

agda-stdlib_2.1-4.debian.tar.xz

agda-stdlib_2.1-4.debian.tar.xz 6KB Nov 26 2024 03:03:47 AM

agda-stdlib_2.1-4.dsc

agda-stdlib_2.1-4.dsc 2KB Nov 26 2024 03:03:47 AM

agda-stdlib_2.1-4_all.deb

agda-stdlib_2.1-4_all.deb 140342KB Nov 26 2024 03:39:51 AM

agda-stdlib_2.1.orig.tar.gz

agda-stdlib_2.1.orig.tar.gz 1183KB Oct 19 2024 05:34:32 AM

單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：07/07/2025

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