Skip to content
Commits on Source (76)
agda (2.5.3-6) UNRELEASED; urgency=medium
agda (2.5.4.1-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:09 -0400
[ Ilias Tsitsimpis ]
* New upstream release
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:01:07 +0300
agda (2.5.3-5) unstable; urgency=medium
......
......@@ -13,8 +13,10 @@ Build-Depends:
happy,
haskell-devscripts (>= 0.13),
ghc-prof,
libghc-async-dev (>= 2.0.2),
libghc-async-dev (<< 2.2),
libghc-edisoncore-dev,
libghc-edisoncore-prof,
libghc-async-dev (>= 2.2),
libghc-async-dev (<< 2.3),
libghc-async-prof,
libghc-blaze-html-dev (>= 0.8),
libghc-blaze-html-dev (<< 0.10),
......@@ -34,28 +36,25 @@ Build-Depends:
libghc-filemanip-dev (<< 0.4),
libghc-filemanip-dev (>= 0.3.6.3),
libghc-geniplate-mirror-dev (<< 0.8),
libghc-geniplate-mirror-dev (>= 0.6.0.6),
libghc-geniplate-mirror-prof,
libghc-gitrev-dev (>= 1.3.1),
libghc-gitrev-dev (<< 2.0),
libghc-gitrev-dev (>= 1.2),
libghc-hashable-dev (<< 1.3),
libghc-hashable-dev (>= 1.2.1.0),
libghc-hashtables-dev,
libghc-ieee754-dev (<< 0.9),
libghc-hashable-prof,
libghc-hashtables-dev (>= 1.2.0.2),
libghc-hashtables-dev (<< 1.3),
libghc-hashtables-prof,
libghc-ieee754-dev (>= 0.7.8),
libghc-ieee754-dev (<< 0.9),
libghc-ieee754-prof,
libghc-monadplus-dev (>= 1.4),
libghc-monadplus-dev (<< 1.5),
libghc-monadplus-prof,
libghc-mtl-dev (>= 2.2.1),
libghc-mtl-dev (<< 2.3),
libghc-mtl-prof,
libghc-murmur-hash-dev (>= 0.1),
libghc-murmur-hash-dev (<< 0.2),
libghc-murmur-hash-dev (>= 0.1),
libghc-mtl-dev,
libghc-parallel-dev (<< 3.3),
libghc-parallel-dev (>= 3.2.0.4),
libghc-murmur-hash-prof,
libghc-regex-tdfa-dev (>= 1.2.2),
libghc-regex-tdfa-dev (<< 1.3),
libghc-regex-tdfa-prof,
libghc-stm-dev (>= 2.4.4),
......@@ -92,10 +91,8 @@ Build-Depends-Indep: ghc-doc,
libghc-hashable-doc,
libghc-hashtables-doc,
libghc-ieee754-doc,
libghc-monadplus-doc,
libghc-mtl-doc,
libghc-murmur-hash-doc,
libghc-parallel-doc,
libghc-regex-tdfa-doc,
libghc-stm-doc,
libghc-strict-doc,
......
--- a/Agda.cabal
+++ b/Agda.cabal
@@ -132,7 +132,7 @@
, data-hash >= 0.2.0.0 && < 0.3
, deepseq >= 1.3.0.2 && < 1.5
, directory >= 1.2.0.1 && < 1.4
- , EdisonCore >= 1.3.1.1 && < 1.3.2
+ , EdisonCore >= 1.3.2.1 && < 1.4
, edit-distance >= 0.2.1.2 && < 0.3
, equivalence >= 0.3.2 && < 0.4
, filepath >= 1.3.0.1 && < 1.5
See https://github.com/agda/agda/issues/2804
Index: agda/src/full/Agda/Interaction/Library.hs
Index: b/src/full/Agda/Interaction/Library.hs
===================================================================
--- agda.orig/src/full/Agda/Interaction/Library.hs 2017-10-13 21:58:48.432139892 -0400
+++ agda/src/full/Agda/Interaction/Library.hs 2017-10-13 22:39:44.970695744 -0400
@@ -215,13 +215,20 @@
--- a/src/full/Agda/Interaction/Library.hs
+++ b/src/full/Agda/Interaction/Library.hs
@@ -225,13 +225,19 @@ getInstalledLibraries
-> LibM [AgdaLibFile] -- ^ Content of library files. (Might have empty @LibName@s.)
getInstalledLibraries overrideLibFile = mkLibM [] $ do
file <- lift $ getLibrariesFile overrideLibFile
- ifNotM (lift $ doesFileExist file) (return []) $ {-else-} do
+ userlibs <- ifNotM (lift $ doesFileExist file) (return []) $ {-else-} do
ls <- lift $ stripCommentLines <$> readFile file
- if not (lfExists file) then return [] else do
+ userlibs <- if not (lfExists file) then return [] else do
ls <- lift $ stripCommentLines <$> readFile (lfPath file)
files <- lift $ sequence [ (i, ) <$> expandEnvironmentVariables s | (i, s) <- ls ]
parseLibFiles (Just file) files
+
+ systemlibs <- ifNotM (lift $ doesDirectoryExist systemLibDir) (return []) $ do
+ files <- lift $ filter isLibFile <$> listDirectory systemLibDir
+ parseLibFiles Nothing $ zip [1..] $ map (systemLibDir </>) files
......
haskell-gtk-traymanager (0.1.6-5) UNRELEASED; urgency=medium
haskell-gtk-traymanager (1.0.1-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:46 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:41:21 +0300
haskell-gtk-traymanager (0.1.6-4) unstable; urgency=medium
......
......@@ -14,15 +14,13 @@ Build-Depends:
libghc-glib-dev (<< 0.15),
libghc-glib-dev (>= 0.12.1),
libghc-glib-prof,
libghc-gtk-dev (<< 0.15),
libghc-gtk-dev (>= 0.12.1),
libghc-gtk-prof,
libgtk2.0-dev,
libgtk3.0-dev,
libx11-dev,
Build-Depends-Indep:
ghc-doc,
libghc-gtk3-dev,
libghc-gtk3-prof,
Build-Depends-Indep: ghc-doc,
libghc-glib-doc,
libghc-gtk-doc,
libghc-gtk3-doc,
Standards-Version: 4.1.4
Homepage: http://github.com/travitch/gtk-traymanager
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-gtk-traymanager
......@@ -37,7 +35,7 @@ X-Description: bindings for eggtraymanager (GTK+)
Package: libghc-gtk-traymanager-dev
Architecture: any
Depends:
libgtk2.0-dev,
libgtk3.0-dev,
libx11-dev,
${haskell:Depends},
${misc:Depends},
......
haskell-half (0.2.2.3-5) UNRELEASED; urgency=medium
haskell-half (0.3-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:47 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:43:37 +0300
haskell-half (0.2.2.3-4) unstable; urgency=medium
......
haskell-hedis (0.10.2-2) UNRELEASED; urgency=medium
haskell-hedis (0.10.4-1) unstable; urgency=medium
* Bump debhelper compat level to 10
* New upstream release
-- Ilias Tsitsimpis <iliastsi@debian.org> Sat, 29 Sep 2018 14:07:31 +0300
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:43:52 +0300
haskell-hedis (0.10.2-1) unstable; urgency=medium
......
haskell-hint (0.7.0-3) UNRELEASED; urgency=medium
haskell-hint (0.8.0-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:49 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:10:12 +0300
haskell-hint (0.7.0-2) unstable; urgency=medium
......
......@@ -12,7 +12,8 @@ Build-Depends:
ghc-ghci,
ghc-prof,
haskell-devscripts (>= 0.13),
libghc-exceptions-dev,
libghc-exceptions-dev (>= 0.10),
libghc-exceptions-dev (<< 0.11),
libghc-exceptions-prof,
libghc-ghc-paths-dev,
libghc-ghc-paths-prof,
......
haskell-hledger-interest (1.5.1-3) UNRELEASED; urgency=medium
haskell-hledger-interest (1.5.2-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:50 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:46:27 +0300
haskell-hledger-interest (1.5.1-2) unstable; urgency=medium
......
......@@ -9,10 +9,9 @@ Build-Depends:
cdbs,
debhelper (>= 10),
ghc (>= 8),
ghc-prof,
haskell-devscripts (>= 0.13),
libghc-decimal-dev,
libghc-hledger-lib-dev (>> 1),
libghc-hledger-lib-dev (>= 1.9.1),
libghc-mtl-dev,
libghc-text-dev,
Standards-Version: 4.1.4
......
haskell-hledger-lib (1.5.1-2) UNRELEASED; urgency=medium
haskell-hledger-lib (1.10-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:50 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:47:54 +0300
haskell-hledger-lib (1.5.1-1) unstable; urgency=medium
......
......@@ -17,8 +17,9 @@ Build-Depends:
libghc-hunit-prof,
libghc-ansi-terminal-dev (>= 0.6.2.3),
libghc-ansi-terminal-prof,
libghc-base-compat-dev (>= 0.8.1),
libghc-base-compat-prof,
libghc-base-compat-batteries-dev (>= 0.10.1),
libghc-base-compat-batteries-dev (<< 0.11),
libghc-base-compat-batteries-prof,
libghc-blaze-markup-dev (>= 0.5.1),
libghc-blaze-markup-prof,
libghc-cmdargs-dev (>= 0.10),
......@@ -33,9 +34,9 @@ Build-Depends:
libghc-data-default-prof,
libghc-extra-dev,
libghc-extra-prof,
libghc-hashtables-dev (>= 1.2),
libghc-hashtables-dev (>= 1.2.3.1),
libghc-hashtables-prof,
libghc-megaparsec-dev (>= 5.0),
libghc-megaparsec-dev (>= 6.4.1),
libghc-megaparsec-prof,
libghc-mtl-dev,
libghc-mtl-prof,
......@@ -43,6 +44,8 @@ Build-Depends:
libghc-old-time-prof,
libghc-parsec3-dev (>= 3),
libghc-parsec3-prof,
libghc-parser-combinators-dev (>= 0.4.0),
libghc-parser-combinators-prof,
libghc-pretty-show-dev (>= 1.6.4),
libghc-pretty-show-prof,
libghc-regex-tdfa-dev,
......@@ -51,6 +54,8 @@ Build-Depends:
libghc-safe-prof,
libghc-split-dev (>= 0.1),
libghc-split-prof,
libghc-tabular-dev (>= 0.2),
libghc-tabular-prof,
libghc-text-dev (>= 1.2),
libghc-text-prof,
libghc-uglymemo-dev,
......@@ -61,7 +66,7 @@ Build-Depends-Indep: ghc-doc,
libghc-decimal-doc,
libghc-hunit-doc,
libghc-ansi-terminal-doc,
libghc-base-compat-doc,
libghc-base-compat-batteries-doc,
libghc-blaze-markup-doc,
libghc-cmdargs-doc,
libghc-csv-doc,
......@@ -74,10 +79,12 @@ Build-Depends-Indep: ghc-doc,
libghc-mtl-doc,
libghc-old-time-doc,
libghc-parsec3-doc,
libghc-parser-combinators-doc,
libghc-pretty-show-doc,
libghc-regex-tdfa-doc,
libghc-safe-doc,
libghc-split-doc,
libghc-tabular-doc,
libghc-text-doc,
libghc-uglymemo-doc,
libghc-utf8-string-doc,
......
Index: b/hledger-lib.cabal
===================================================================
--- a/hledger-lib.cabal
+++ b/hledger-lib.cabal
@@ -120,7 +120,6 @@
, hashtables >=1.2
, megaparsec >=5.0
@@ -120,7 +120,6 @@ library
, hashtables >=1.2.3.1
, megaparsec >=6.4.1
, mtl
- , mtl-compat
, old-time
, parsec >=3
, pretty-show >=1.6.4
@@ -212,7 +211,6 @@
, hashtables >=1.2
, megaparsec >=5.0
, parser-combinators >=0.4.0
@@ -217,7 +216,6 @@ test-suite doctests
, hashtables >=1.2.3.1
, megaparsec >=6.4.1
, mtl
- , mtl-compat
, old-time
, parsec >=3
, pretty-show >=1.6.4
@@ -303,7 +301,6 @@
, parser-combinators >=0.4.0
@@ -314,7 +312,6 @@ test-suite easytests
, hledger-lib
, megaparsec >=5.0
, megaparsec >=6.4.1
, mtl
- , mtl-compat
, old-time
, parsec >=3
, pretty-show >=1.6.4
, parser-combinators >=0.4.0
@@ -410,7 +407,6 @@ test-suite hunittests
, hledger-lib
, megaparsec >=6.4.1
, mtl
- , mtl-compat
, old-time
, parsec >=3
, parser-combinators >=0.4.0
haskell-hledger-ui (1.5-2) UNRELEASED; urgency=medium
haskell-hledger-ui (1.10.1-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:50 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:49:02 +0300
haskell-hledger-ui (1.5-1) unstable; urgency=medium
......
......@@ -9,21 +9,22 @@ Build-Depends:
cdbs,
debhelper (>= 10),
ghc (>= 8),
ghc-prof,
haskell-devscripts (>= 0.13),
libghc-hunit-dev,
libghc-ansi-terminal-dev (>= 0.6.2.3),
libghc-async-dev,
libghc-base-compat-dev (>= 0.8.1),
libghc-base-compat-batteries-dev (>= 0.10.1),
libghc-base-compat-batteries-dev (<< 0.11),
libghc-brick-dev (>= 0.12),
libghc-cmdargs-dev (>= 0.8),
libghc-data-default-dev,
libghc-fsnotify-dev (>= 0.2),
libghc-hledger-dev (>= 1.5),
libghc-hledger-dev (<< 1.6),
libghc-hledger-lib-dev (>= 1.5),
libghc-hledger-lib-dev (<< 1.6),
libghc-megaparsec-dev (>= 5.0),
libghc-fsnotify-dev (>= 0.2.1.2),
libghc-fsnotify-dev (<< 0.4),
libghc-hledger-dev (>= 1.10),
libghc-hledger-dev (<< 1.11),
libghc-hledger-lib-dev (>= 1.10),
libghc-hledger-lib-dev (<< 1.11),
libghc-megaparsec-dev (>= 6.4.1),
libghc-microlens-dev (>= 0.4),
libghc-microlens-platform-dev (>= 0.2.3.1),
libghc-pretty-show-dev (>= 1.6.4),
......
haskell-hmatrix (0.18.2.0-2) UNRELEASED; urgency=medium
haskell-hmatrix (0.19.0.0-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:50 -0400
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:50:31 +0300
haskell-hmatrix (0.18.2.0-1) unstable; urgency=medium
......
haskell-hookup (0.2-2) UNRELEASED; urgency=medium
haskell-hookup (0.2.2-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
-- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:51 -0400
[ Ilias Tsitsimpis ]
* New upstream release
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:50:49 +0300
haskell-hookup (0.2-1) unstable; urgency=medium
......