Ubuntu
haskell-singletons package

haskell-singletons 3.0.2-2 source package in Ubuntu

Changelog

haskell-singletons (3.0.2-2) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * Sourceful upload for GHC 9.4

 -- Ilias Tsitsimpis <email address hidden>  Sun, 27 Aug 2023 12:40:08 +0300

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
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
Noble release universe misc

Downloads

File Size SHA-256 Checksum
haskell-singletons_3.0.2-2.dsc 2.1 KiB 61df15bcffbda122512b4de345a4246ea74579e85a182f929f1564121968a911
haskell-singletons_3.0.2.orig.tar.gz 40.0 KiB f568ee129ef6438a4325f145f17fa4a3074b3564c72fd35ba1f68dcee14d5e82
haskell-singletons_3.0.2-2.debian.tar.xz 2.5 KiB bf900cc38bd090e08201b93ea6bb867042066d91871a1bf3c984008861b8bd83

No changes file available.

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.