Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: lobster

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/lobster

Dependent Repos 1

GaloisInc/sk-dev-platform
Development platform for prototyping separation kernel applications
  • >=0.1 libs/SCD/scd.cabal
  • >=0.1 libs/genLobster/genLobster.cabal
  • * libs/lobster/lobster.cabal
  • >=0.1 libs/lobster-selinux/lobster-selinux.cabal
  • >=0.1 libs/lobster-validate/lobster-validate.cabal
  • >=0.1 libs/lobster-xsm/lobster-xsm.cabal
  • >=0.1 libs/lviz/lviz.cabal

Size: 9.88 MB - Last synced: 8 days ago - Pushed: over 9 years ago

twosixlabs/lobster
A Domain Specific Language for SELinux Policies
  • * lobster/lobster.cabal

Size: 6.02 MB - Last synced: 3 days ago - Pushed: almost 8 years ago