deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-base-dev-4.18.2.1-75247, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Description: |-
Haskell framework for generating singleton types
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 a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: singletons-3.0.3-3ANXyFmyli45G5VssrZrXX
Homepage: https://www.github.com/goldfirere/singletons
Installed-Size: '704'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-singletons-dev
Priority: optional
Provides: libghc-singletons-dev-3.0.3-26f51
Section: haskell
Source: haskell-singletons
Version: 3.0.3-1
srcpkg_name: haskell-singletons
srcpkg_version: 3.0.3-1