Ubuntu

libghc-singletons-doc binary package in Ubuntu Lunar armhf

  1. Lunar (23.04)
  2. armhf
  3. libghc-singletons-doc

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-12-28 04:09:00 UTC Published Ubuntu Lunar armhf release universe doc Optional 3.0.2-1build2
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar armhf proposed universe doc Optional 3.0.2-1build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2022-12-09 18:29:10 UTC Superseded Ubuntu Lunar armhf proposed universe doc Optional 3.0.2-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-singletons 3.0.2-1build2 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2022-12-09 00:54:25 UTC Superseded Ubuntu Lunar armhf proposed universe doc Optional 3.0.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-singletons 3.0.2-1build1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2022-12-28 04:21:16 UTC Superseded Ubuntu Lunar armhf release universe doc Optional 3.0.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-singletons 3.0.2-1build2 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu

Source package