Index of /pool/main/k/kissat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
kissat_4.0.1-3.dsc 16642024-Oct-15 13:59
kissat_4.0.1-3.debian.tar.xz 44882024-Oct-15 13:59
kissat_4.0.1-3_armhf.deb 2987522024-Oct-21 10:08
kissat_4.0.1.orig.tar.gz 5315372024-Oct-11 08:48