lib:dclabel

Modules

• DCLabel.Core
• DCLabel.Integrity
• DCLabel.NanoEDSL
• DCLabel.PrettyShow
• DCLabel.Safe
• DCLabel.Secrecy
• DCLabel.TCB

Dependencies

• base lib:base >=4 && <5
• bytestring lib:bytestring >0.9.2 && <2
• cereal lib:cereal >=0.3.3 && <0.4
• pretty lib:pretty >1.0.1 && <2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• dclabel bench:benchmarks
• dclabel test:tests
• hails lib:hails
• lio lib:lio
• lio test:tests