1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
haskell-presburger (1.3.1-3) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
-- Clint Adams <clint@debian.org> Thu, 27 Oct 2016 18:35:33 -0400
haskell-presburger (1.3.1-2) experimental; urgency=medium
[ Dmitry Bogatov ]
* Bump standards version to 3.9.8 (no changes needed)
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
-- Clint Adams <clint@debian.org> Sun, 16 Oct 2016 14:18:45 -0400
haskell-presburger (1.3.1-1) unstable; urgency=low
* Initial release.
-- Clint Adams <clint@debian.org> Tue, 15 Dec 2015 12:38:15 -0500
|
