deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: haddock-interface-42
Description: |-
Haskell framework for generating singleton types; documentation
This library generates singleton types, promoted functions, and singleton
functions using Template Haskell. It is useful for programmers who wish
to use dependently typed programming techniques. The library was originally
presented in /Dependently Typed Programming with Singletons/, published
at the Haskell Symposium, 2012.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Homepage: https://www.github.com/goldfirere/singletons
Installed-Size: '1633'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-singletons-doc
Priority: optional
Recommends: ghc-doc, libghc-singletons-dev, libjs-mathjax
Section: doc
Source: haskell-singletons
Suggests: libghc-singletons-prof
Version: 3.0.3-1
srcpkg_name: haskell-singletons
srcpkg_version: 3.0.3-1