packages feed

liquidhaskell-0.8.10.1: mirror-modules/templates/MirrorModule.mustache

module {{ moduleName }} (module Exports) where

import "{{ packageName }}" {{ moduleName }} as Exports