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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-hott_8.19.orig.tar.gz 9839852024-Apr-26 15:51
coq-hott_8.19-1.dsc 20292024-Apr-26 15:51
coq-hott_8.19-1.debian.tar.xz 29082024-Apr-26 15:51
libcoq-hott_8.19-1+b1_amd64.deb 142253842024-Jun-15 12:59
libcoq-hott_8.19-1+b1_i386.deb 142244682024-Jun-15 13:05
libcoq-hott_8.19-1+b1_armhf.deb 142197202024-Jun-15 13:10
libcoq-hott_8.19-1+b1_arm64.deb 142269122024-Jun-15 13:10
coq-hott_8.19-2.dsc 17962024-Aug-03 17:44
coq-hott_8.19-2.debian.tar.xz 29802024-Aug-03 17:44
libcoq-hott_8.19-2+b2_amd64.deb 142311922024-Aug-21 05:48
libcoq-hott_8.19-2+b2_arm64.deb 142284882024-Aug-21 05:54