Agda: Upgrading from 2.5.3 to 2.5.4.1
Ilias Tsitsimpis
5 years ago
| 0 | agda (2.5.3-6) UNRELEASED; urgency=medium | |
| 1 | ||
| 0 | agda (2.5.4.1-1) unstable; urgency=medium | |
| 1 | ||
| 2 | [ Clint Adams ] | |
| 2 | 3 | * Set Rules-Requires-Root to no. |
| 3 | 4 | |
| 4 | -- Clint Adams <clint@debian.org> Sun, 06 May 2018 22:09:09 -0400 | |
| 5 | [ Ilias Tsitsimpis ] | |
| 6 | * New upstream release | |
| 7 | ||
| 8 | -- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 11:01:07 +0300 | |
| 5 | 9 | |
| 6 | 10 | agda (2.5.3-5) unstable; urgency=medium |
| 7 | 11 |
| 12 | 12 | happy, |
| 13 | 13 | haskell-devscripts (>= 0.13), |
| 14 | 14 | ghc-prof, |
| 15 | libghc-async-dev (>= 2.0.2), | |
| 16 | libghc-async-dev (<< 2.2), | |
| 15 | libghc-edisoncore-dev, | |
| 16 | libghc-edisoncore-prof, | |
| 17 | libghc-async-dev (>= 2.2), | |
| 18 | libghc-async-dev (<< 2.3), | |
| 17 | 19 | libghc-async-prof, |
| 18 | 20 | libghc-blaze-html-dev (>= 0.8), |
| 19 | 21 | libghc-blaze-html-dev (<< 0.10), |
| 33 | 35 | libghc-filemanip-dev (<< 0.4), |
| 34 | 36 | libghc-filemanip-dev (>= 0.3.6.3), |
| 35 | 37 | libghc-geniplate-mirror-dev (<< 0.8), |
| 36 | libghc-geniplate-mirror-dev (>= 0.6.0.6), | |
| 38 | libghc-geniplate-mirror-prof, | |
| 39 | libghc-gitrev-dev (>= 1.3.1), | |
| 37 | 40 | libghc-gitrev-dev (<< 2.0), |
| 38 | 41 | libghc-gitrev-dev (>= 1.2), |
| 39 | 42 | libghc-hashable-dev (<< 1.3), |
| 40 | libghc-hashable-dev (>= 1.2.1.0), | |
| 41 | libghc-hashtables-dev, | |
| 42 | libghc-ieee754-dev (<< 0.9), | |
| 43 | libghc-hashable-prof, | |
| 44 | libghc-hashtables-dev (>= 1.2.0.2), | |
| 45 | libghc-hashtables-dev (<< 1.3), | |
| 46 | libghc-hashtables-prof, | |
| 43 | 47 | libghc-ieee754-dev (>= 0.7.8), |
| 44 | 48 | libghc-ieee754-dev (<< 0.9), |
| 45 | 49 | libghc-ieee754-prof, |
| 46 | libghc-monadplus-dev (>= 1.4), | |
| 47 | libghc-monadplus-dev (<< 1.5), | |
| 48 | libghc-monadplus-prof, | |
| 49 | 50 | libghc-mtl-dev (>= 2.2.1), |
| 50 | 51 | libghc-mtl-dev (<< 2.3), |
| 51 | 52 | libghc-mtl-prof, |
| 52 | 53 | libghc-murmur-hash-dev (>= 0.1), |
| 53 | 54 | libghc-murmur-hash-dev (<< 0.2), |
| 54 | libghc-murmur-hash-dev (>= 0.1), | |
| 55 | libghc-mtl-dev, | |
| 56 | libghc-parallel-dev (<< 3.3), | |
| 57 | libghc-parallel-dev (>= 3.2.0.4), | |
| 55 | libghc-murmur-hash-prof, | |
| 56 | libghc-regex-tdfa-dev (>= 1.2.2), | |
| 58 | 57 | libghc-regex-tdfa-dev (<< 1.3), |
| 59 | 58 | libghc-regex-tdfa-prof, |
| 60 | 59 | libghc-stm-dev (>= 2.4.4), |
| 91 | 90 | libghc-hashable-doc, |
| 92 | 91 | libghc-hashtables-doc, |
| 93 | 92 | libghc-ieee754-doc, |
| 94 | libghc-monadplus-doc, | |
| 95 | 93 | libghc-mtl-doc, |
| 96 | 94 | libghc-murmur-hash-doc, |
| 97 | libghc-parallel-doc, | |
| 98 | 95 | libghc-regex-tdfa-doc, |
| 99 | 96 | libghc-stm-doc, |
| 100 | 97 | libghc-strict-doc, |
| 0 | --- a/Agda.cabal | |
| 1 | +++ b/Agda.cabal | |
| 2 | @@ -132,7 +132,7 @@ | |
| 3 | , data-hash >= 0.2.0.0 && < 0.3 | |
| 4 | , deepseq >= 1.3.0.2 && < 1.5 | |
| 5 | , directory >= 1.2.0.1 && < 1.4 | |
| 6 | - , EdisonCore >= 1.3.1.1 && < 1.3.2 | |
| 7 | + , EdisonCore >= 1.3.2.1 && < 1.4 | |
| 8 | , edit-distance >= 0.2.1.2 && < 0.3 | |
| 9 | , equivalence >= 0.3.2 && < 0.4 | |
| 10 | , filepath >= 1.3.0.1 && < 1.5 |
| 0 | 0 | See https://github.com/agda/agda/issues/2804 |
| 1 | 1 | |
| 2 | Index: agda/src/full/Agda/Interaction/Library.hs | |
| 2 | Index: b/src/full/Agda/Interaction/Library.hs | |
| 3 | 3 | =================================================================== |
| 4 | --- agda.orig/src/full/Agda/Interaction/Library.hs 2017-10-13 21:58:48.432139892 -0400 | |
| 5 | +++ agda/src/full/Agda/Interaction/Library.hs 2017-10-13 22:39:44.970695744 -0400 | |
| 6 | @@ -215,13 +215,20 @@ | |
| 4 | --- a/src/full/Agda/Interaction/Library.hs | |
| 5 | +++ b/src/full/Agda/Interaction/Library.hs | |
| 6 | @@ -225,13 +225,19 @@ getInstalledLibraries | |
| 7 | 7 | -> LibM [AgdaLibFile] -- ^ Content of library files. (Might have empty @LibName@s.) |
| 8 | 8 | getInstalledLibraries overrideLibFile = mkLibM [] $ do |
| 9 | 9 | file <- lift $ getLibrariesFile overrideLibFile |
| 10 | - ifNotM (lift $ doesFileExist file) (return []) $ {-else-} do | |
| 11 | + userlibs <- ifNotM (lift $ doesFileExist file) (return []) $ {-else-} do | |
| 12 | ls <- lift $ stripCommentLines <$> readFile file | |
| 10 | - if not (lfExists file) then return [] else do | |
| 11 | + userlibs <- if not (lfExists file) then return [] else do | |
| 12 | ls <- lift $ stripCommentLines <$> readFile (lfPath file) | |
| 13 | 13 | files <- lift $ sequence [ (i, ) <$> expandEnvironmentVariables s | (i, s) <- ls ] |
| 14 | 14 | parseLibFiles (Just file) files |
| 15 | + | |
| 16 | 15 | + systemlibs <- ifNotM (lift $ doesDirectoryExist systemLibDir) (return []) $ do |
| 17 | 16 | + files <- lift $ filter isLibFile <$> listDirectory systemLibDir |
| 18 | 17 | + parseLibFiles Nothing $ zip [1..] $ map (systemLibDir </>) files |