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