Skip to content
Commits on Source (5)
haskell-singletons (2.4.1-2) unstable; urgency=medium
* Declare compliance with Debian Policy 4.2.1.
- Priority optional->extra
- Use https in Format: field in d/copyright.
* Better package description.
* Drop broken Vcs-* fields.
* Use https in Homepage: and in d/watch.
-- Sean Whitton <spwhitton@spwhitton.name> Sat, 08 Dec 2018 12:55:13 -0700
haskell-singletons (2.4.1-1) unstable; urgency=medium
* Initial release
......
Source: haskell-singletons
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Sean Whitton <spwhitton@spwhitton.name>
Priority: extra
Priority: optional
Section: haskell
Build-Depends: debhelper (>= 10),
haskell-devscripts-minimal | haskell-devscripts (>= 0.9),
......@@ -22,20 +22,14 @@ Build-Depends-Indep: ghc-doc,
libghc-syb-doc,
libghc-text-doc,
libghc-th-desugar-doc,
Standards-Version: 3.9.6
Homepage: http://www.github.com/goldfirere/singletons
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-singletons
Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git
X-Description: A framework for generating singleton types
Standards-Version: 4.2.1
Homepage: https://www.github.com/goldfirere/singletons
X-Description: 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.
(<https://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf>)
Version 1.0 and onwards works a lot harder to promote functions. See the
paper published at Haskell Symposium, 2014:
<https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf>.
Package: libghc-singletons-dev
Architecture: any
......
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: singletons
Upstream-Contact: Richard Eisenberg <rae@cs.brynmawr.edu>, Jan Stolarek <jan.stolarek@p.lodz.pl>
Source: https://hackage.haskell.org/package/singletons
......
version=3
http://hackage.haskell.org/package/singletons/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
https://hackage.haskell.org/package/singletons/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))