Ecosyste.ms: Repos

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

Package Usage: hackage: liquidhaskell-boot

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/liquidhaskell-boot

Dependent Repos 1

ucsd-progsys/liquidhaskell
Liquid Types For Haskell
  • * liquidhaskell-boot/liquidhaskell-boot.cabal

Size: 56.5 MB - Last synced: 5 days ago - Pushed: 6 days ago

avanov/liquidhaskell Fork of ucsd-progsys/liquidhaskell
Liquid Types For Haskell
  • >=0.9.0.2 liquid-platform/liquid-platform.cabal
  • * liquidhaskell-boot/liquidhaskell-boot.cabal
  • ==0.9.2.5.0 liquidhaskell.cabal
  • * tests/tests.cabal

Size: 51.5 MB - Last synced: about 1 month ago - Pushed: 9 months ago