Index of /kali/pool/main/c/coq-quickchick/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-quickchick_2.1.0-1.debian.tar.xz 29082025-Mar-18 21:33
coq-quickchick_2.1.0-1.dsc 22882025-Mar-18 21:33
coq-quickchick_2.1.0.orig.tar.gz 4145442025-Mar-18 21:33
libcoq-quickchick_2.1.0-1+b1_amd64.deb 42550762025-Mar-19 02:39
libcoq-quickchick_2.1.0-1+b1_arm64.deb 42614002025-Mar-19 04:12
libcoq-quickchick_2.1.0-1+b2_amd64.deb 42531602025-Jun-15 20:30
libcoq-quickchick_2.1.0-1+b2_arm64.deb 42624522025-Jun-15 20:35
quickchick_2.1.0-1+b1_amd64.deb 4922722025-Mar-19 02:39
quickchick_2.1.0-1+b1_arm64.deb 5354962025-Mar-19 04:12
quickchick_2.1.0-1+b2_amd64.deb 4922642025-Jun-15 20:30
quickchick_2.1.0-1+b2_arm64.deb 5361682025-Jun-15 20:35