keiro-dsl-conformance-ledger.txt

-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 4) from conformance package workspace workspace-proof; do not edit.
keiro-dsl conformance ledger v1
service-key workspace workspace-proof
runtime-package keiro-dsl-conformance-service-runtime
facade-module Proof.WorkspaceProof.Generated.Conformance
file {"kind":"generated","path":"keiro-workspace-proof-conformance.cabal"}
file {"kind":"generated","path":"src/Main.hs"}
file {"kind":"create-once","path":"src/KeiroConformance/Expectations.hs"}
file {"kind":"generated","path":"keiro-dsl-conformance-ledger.txt"}