Archive: stable
Version: 3.0
Component: main
Origin: Gramine
Label: Gramine
Architecture: amd64
Description: Kernel for CI