/ubuntu/pool/universe/c/coq-corn/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-corn_8.18.0-1build3.debian.tar.xz	4.2 KiB	2024년 04월 08일 16시 57분
coq-corn_8.18.0-1build3.dsc	2.1 KiB	2024년 04월 08일 16시 57분
coq-corn_8.18.0.orig.tar.gz	1.3 MiB	2023년 12월 25일 02시 26분
coq-corn_8.20.0-1build1.debian.tar.xz	4.3 KiB	2025년 02월 19일 16시 52분
coq-corn_8.20.0-1build1.dsc	2.1 KiB	2025년 02월 19일 16시 52분
coq-corn_8.20.0-1build12.debian.tar.xz	4.5 KiB	2026년 03월 05일 17시 48분
coq-corn_8.20.0-1build12.dsc	2.1 KiB	2026년 03월 05일 17시 48분
coq-corn_8.20.0-1build5.debian.tar.xz	4.4 KiB	2025년 09월 01일 04시 42분
coq-corn_8.20.0-1build5.dsc	2.1 KiB	2025년 09월 01일 04시 42분
coq-corn_8.20.0.orig.tar.gz	1.3 MiB	2025년 02월 18일 10시 39분
libcoq-corn_8.18.0-1build3_amd64.deb	14.7 MiB	2024년 04월 08일 23시 36분
libcoq-corn_8.20.0-1build12_amd64.deb	14.4 MiB	2026년 03월 05일 17시 49분
libcoq-corn_8.20.0-1build12_amd64v3.deb	14.4 MiB	2026년 03월 05일 17시 49분
libcoq-corn_8.20.0-1build12_arm64.deb	14.4 MiB	2026년 03월 05일 17시 49분
libcoq-corn_8.20.0-1build1_amd64.deb	14.5 MiB	2025년 02월 19일 20시 16분
libcoq-corn_8.20.0-1build5_amd64.deb	14.4 MiB	2025년 09월 01일 16시 27분
libcoq-corn_8.20.0-1build5_arm64.deb	14.4 MiB	2025년 09월 01일 16시 27분