Ubuntu
haskell-singletons package

haskell-singletons 3.0.2-1build1 source package in Ubuntu

Changelog

haskell-singletons (3.0.2-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 08 Dec 2022 21:49:00 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-singletons_3.0.2.orig.tar.gz 40.0 KiB f568ee129ef6438a4325f145f17fa4a3074b3564c72fd35ba1f68dcee14d5e82
haskell-singletons_3.0.2-1build1.debian.tar.xz 2.5 KiB de0925c2c58c82ee6fc544aa805f9815c0d0581b975e7565394d6f790d5b37b5
haskell-singletons_3.0.2-1build1.dsc 2.1 KiB 6f3b01e28b75586b8c1bf0676f1244bdb1943eb938861cccc4c4d2e12e2bd81c

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.