Index of /kali/pool/main/p/paramcoq/

/kali/pool/main/p/paramcoq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-paramcoq_1.1.3+coq8.20-1+b6_amd64.deb111.5 KiB12 Feb 2026 15:04:09 +0000
libcoq-paramcoq_1.1.3+coq8.20-1+b6_arm64.deb118.5 KiB12 Feb 2026 14:58:56 +0000
libcoq-paramcoq_1.1.3+coq8.20-1+b7_amd64.deb111.8 KiB20 Jun 2026 14:50:37 +0000
libcoq-paramcoq_1.1.3+coq8.20-1+b7_arm64.deb118.2 KiB20 Jun 2026 14:50:37 +0000
paramcoq_1.1.3+coq8.20-1.debian.tar.xz3.1 KiB20 Nov 2024 10:02:49 +0000
paramcoq_1.1.3+coq8.20-1.dsc2.1 KiB20 Nov 2024 10:02:49 +0000
paramcoq_1.1.3+coq8.20.orig.tar.gz44.7 KiB20 Nov 2024 10:02:49 +0000