Skip to content
GitLab
Explore
Sign in
Register
Commits on Source (5)
singletons: policy 4.2.1
· 57b65139
Sean Whitton
authored
Dec 08, 2018
57b65139
singletons: better description
· d96bd6ee
Sean Whitton
authored
Dec 08, 2018
d96bd6ee
singletons: drop broken Vcs-* fields
· 7a0c6c22
Sean Whitton
authored
Dec 08, 2018
7a0c6c22
singletons: Use https in Homepage: and in d/watch
· 76926492
Sean Whitton
authored
Dec 08, 2018
76926492
singletons: upload -2
· d464352f
Sean Whitton
authored
Dec 08, 2018
d464352f
Show whitespace changes
Inline
Side-by-side
p/haskell-singletons/debian/changelog
View file @
d464352f
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
...
...
p/haskell-singletons/debian/control
View file @
d464352f
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
...
...
p/haskell-singletons/debian/copyright
View file @
d464352f
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Format: http
s
://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
...
...
p/haskell-singletons/debian/watch
View file @
d464352f
version=3
http://hackage.haskell.org/package/singletons/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
http
s
://hackage.haskell.org/package/singletons/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))