Index of /pub/linux/kali/pool/main/c/coq-bignums

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz 2023-12-22 19:16  2.0K  
 coq-bignums_9.0.0+coq8.18-1.dsc           2023-12-22 19:16  2.1K  
 coq-bignums_9.0.0+coq8.18.orig.tar.gz     2023-12-22 19:16  114K  
 libcoq-bignums_9.0.0+coq8.18-1_amd64.deb  2023-12-22 19:51  1.7M  
 libcoq-bignums_9.0.0+coq8.18-1_arm64.deb  2023-12-22 19:51  1.7M  
 libcoq-bignums_9.0.0+coq8.18-1_armhf.deb  2023-12-22 19:51  1.7M  
 libcoq-bignums_9.0.0+coq8.18-1_i386.deb   2023-12-22 19:57  1.7M