본문 바로가기
EN
RU
JP
KR
/ubuntu/pool/universe/c/coq-reglang/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
coq-reglang_1.2.1-1build5.debian.tar.xz
8.6 KiB
2024년 04월 08일 16시 57분
coq-reglang_1.2.1-1build5.dsc
2.1 KiB
2024년 04월 08일 16시 57분
coq-reglang_1.2.1-4build12.debian.tar.xz
8.7 KiB
2025년 02월 19일 16시 52분
coq-reglang_1.2.1-4build12.dsc
2.1 KiB
2025년 02월 19일 16시 52분
coq-reglang_1.2.1-4build16.debian.tar.xz
8.8 KiB
2025년 09월 01일 04시 42분
coq-reglang_1.2.1-4build16.dsc
2.1 KiB
2025년 09월 01일 04시 42분
coq-reglang_1.2.1-4build21.debian.tar.xz
8.9 KiB
2026년 03월 08일 04시 00분
coq-reglang_1.2.1-4build21.dsc
2.1 KiB
2026년 03월 08일 04시 00분
coq-reglang_1.2.1.orig.tar.gz
67.8 KiB
2024년 01월 21일 14시 45분
libcoq-reglang_1.2.1-1build5_amd64.deb
805.0 KiB
2024년 04월 08일 23시 36분
libcoq-reglang_1.2.1-4build12_amd64.deb
971.8 KiB
2025년 02월 20일 13시 20분
libcoq-reglang_1.2.1-4build16_amd64.deb
969.8 KiB
2025년 09월 02일 04시 52분
libcoq-reglang_1.2.1-4build16_arm64.deb
969.8 KiB
2025년 09월 02일 04시 52분
libcoq-reglang_1.2.1-4build21_amd64.deb
970.4 KiB
2026년 03월 08일 04시 01분
libcoq-reglang_1.2.1-4build21_amd64v3.deb
970.4 KiB
2026년 03월 08일 04시 02분
libcoq-reglang_1.2.1-4build21_arm64.deb
970.5 KiB
2026년 03월 08일 04시 03분