Index of /pub/debian/pool/main/s/spirv-headers
Name
Last modified
Size
Description
Parent Directory
-
spirv-headers_1.3+git20190113-1.diff.gz
2019-01-13 17:52
2.0K
spirv-headers_1.3+git20190113-1.dsc
2019-01-13 17:52
1.9K
spirv-headers_1.3+git20190113-1_all.deb
2019-01-13 18:58
54K
spirv-headers_1.3+git20190113.orig.tar.gz
2019-01-13 17:52
315K
spirv-headers_1.5.4+rt-1.diff.gz
2020-12-08 22:32
2.6K
spirv-headers_1.5.4+rt-1.dsc
2020-12-08 22:32
1.9K
spirv-headers_1.5.4+rt-1_all.deb
2020-12-08 23:15
86K
spirv-headers_1.5.4+rt-1~bpo10+1.diff.gz
2020-12-28 22:47
2.7K
spirv-headers_1.5.4+rt-1~bpo10+1.dsc
2020-12-28 22:47
1.6K
spirv-headers_1.5.4+rt-1~bpo10+1_all.deb
2021-01-01 03:41
86K
spirv-headers_1.5.4+rt.orig.tar.gz
2020-12-08 22:32
374K
spirv-headers_1.6.1+1.3.239.0-1.debian.tar.xz
2023-02-06 09:57
3.1K
spirv-headers_1.6.1+1.3.239.0-1.dsc
2023-02-06 09:57
2.0K
spirv-headers_1.6.1+1.3.239.0-1_all.deb
2023-02-06 10:27
106K
spirv-headers_1.6.1+1.3.239.0.orig.tar.gz
2023-02-06 09:57
422K
spirv-headers_1.6.1+1.3.296.0-1.debian.tar.xz
2024-10-16 12:33
3.3K
spirv-headers_1.6.1+1.3.296.0-1.dsc
2024-10-16 12:33
2.0K
spirv-headers_1.6.1+1.3.296.0-1_all.deb
2024-10-16 14:45
134K
spirv-headers_1.6.1+1.3.296.0.orig.tar.gz
2024-10-16 12:33
497K
Apache/2.4.62 (Debian) Server at debian.cz Port 80