Index of /pub/linux/debian-archive/debian/pool/main/s/spirv-headers/

Filename	Modification time	Size
spirv-headers_1.3+git20181003-1~bpo9+1.diff.gz	2019-01-24 20:48 CET	2155 B
spirv-headers_1.3+git20181003-1~bpo9+1.dsc	2019-01-24 20:48 CET	2039 B
spirv-headers_1.3+git20181003-1~bpo9+1_all.deb	2019-01-24 20:48 CET	48 KiB
spirv-headers_1.3+git20181003.orig.tar.gz	2019-01-24 20:48 CET	277 KiB