Ubuntu
haskell-singletons package

haskell-singletons 3.0.2-2build1 source package in Ubuntu

Changelog

haskell-singletons (3.0.2-2build1) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 May 2024 10:37:32 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
haskell-singletons_3.0.2.orig.tar.gz 40.0 KiB f568ee129ef6438a4325f145f17fa4a3074b3564c72fd35ba1f68dcee14d5e82
haskell-singletons_3.0.2-2build1.debian.tar.xz 2.6 KiB 0a3904c028f763b06576dbbf5c599c0880cafc774ad373a956d3550db1d4e946
haskell-singletons_3.0.2-2build1.dsc 2.1 KiB fa4cfad1b95618bfad1803fc9ff61d4c1437b4d8aca845533a21cc0bfb6f8438

View changes file

Binary packages built by this source

libghc-singletons-dev: 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.

libghc-singletons-doc: 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.

libghc-singletons-prof: Haskell framework for generating singleton types; profiling libraries

 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, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.