You've already forked spdm-recordflux
mirror of
https://github.com/AdaCore/spdm-recordflux.git
synced 2026-02-12 13:11:44 -08:00
10 lines
159 B
Ada
10 lines
159 B
Ada
with RFLX.SPDM_Proxy.Proxy;
|
|
|
|
package SPDM_Proxy with
|
|
SPARK_Mode
|
|
is
|
|
|
|
type Context is new RFLX.SPDM_Proxy.Proxy.Context with null record;
|
|
|
|
end SPDM_Proxy;
|