Index of /debian/pool/main/s/spirv-headers
Name Last modified Size
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.41 (Ubuntu) Server at de.aminet.net Port 80