注册用户享1倍加速下载 立即注册
/mirrors_os/ubuntu/pool/universe/c/coq-reglang/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-reglang_1.2.1.orig.tar.gz67.8 KiB2024-Jan-21 13:45
coq-reglang_1.2.1-1build5.debian.tar.xz8.6 KiB2024-Apr-08 15:57
coq-reglang_1.2.1-1build5.dsc2.1 KiB2024-Apr-08 15:57
libcoq-reglang_1.2.1-1build5_amd64.deb805.0 KiB2024-Apr-08 22:36
coq-reglang_1.2.1-4build5.debian.tar.xz8.6 KiB2024-Sep-17 23:51
coq-reglang_1.2.1-4build5.dsc2.1 KiB2024-Sep-17 23:51
libcoq-reglang_1.2.1-4build5_amd64.deb947.7 KiB2024-Sep-20 07:39
coq-reglang_1.2.1-4build12.debian.tar.xz8.7 KiB2025-Feb-19 15:52
coq-reglang_1.2.1-4build12.dsc2.1 KiB2025-Feb-19 15:52
libcoq-reglang_1.2.1-4build12_amd64.deb971.8 KiB2025-Feb-20 12:20
coq-reglang_1.2.1-4build15.debian.tar.xz8.8 KiB2025-Jun-20 01:20
coq-reglang_1.2.1-4build15.dsc2.1 KiB2025-Jun-20 01:20
libcoq-reglang_1.2.1-4build15_amd64.deb969.8 KiB2025-Jun-20 21:23