![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| kissat_4.0.3-2.debian.tar.xz | 2025-10-27 23:51 | 4.5K |
![[text]](/theme/icons/text-plain.svg){kind=icon} | kissat_4.0.3-2.dsc | 2025-10-27 23:51 | 1.9K |
| kissat_4.0.3-2_amd64.deb | 2025-10-28 00:11 | 394K |
![[gzip]](/theme/icons/application-x-archive.svg){kind=icon} | kissat_4.0.3.orig.tar.gz | 2025-10-27 23:51 | 519K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| kissat_4.0.3-2.debian.tar.xz | 2025-10-27 23:51 | 4.5K |
| kissat_4.0.3-2.dsc | 2025-10-27 23:51 | 1.9K |
| kissat_4.0.3-2_amd64.deb | 2025-10-28 00:11 | 394K |
| kissat_4.0.3.orig.tar.gz | 2025-10-27 23:51 | 519K |