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 | 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 |
Available diffs
- diff from 3.0.2-2 (in Debian) to 3.0.2-2build1 (356 bytes)
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.