Folder Path
/
kali
/
pool
/
main
/
c
/
coq-hott
/
0
directories
7
files
List
Grid
Name
Size
Modified
Up
coq-hott_8.18-3.debian.tar.xz
2.8 KiB
12/22/2023 10:16:35 AM +00:00
coq-hott_8.18-3.dsc
2.0 KiB
12/22/2023 10:16:35 AM +00:00
coq-hott_8.18.orig.tar.gz
888 KiB
09/01/2023 12:20:00 PM +00:00
libcoq-hott_8.18-3_amd64.deb
12 MiB
12/22/2023 11:07:28 AM +00:00
libcoq-hott_8.18-3_arm64.deb
12 MiB
12/22/2023 10:57:09 AM +00:00
libcoq-hott_8.18-3_armhf.deb
12 MiB
12/22/2023 10:57:12 AM +00:00
libcoq-hott_8.18-3_i386.deb
12 MiB
12/22/2023 11:07:30 AM +00:00