Skip to content
Commits on Source (641)
......@@ -7,4 +7,5 @@
dist
lab
*~
*.swp
p/pandoc
agda (2.6.0.1-1) unstable; urgency=medium
* New upstream version.
-- Clint Adams <clint@debian.org> Sat, 31 Aug 2019 10:02:33 -0400
agda (2.5.4.1-3) unstable; urgency=medium
* Remove build dependency on non-existing libghc-edisoncore-dev.
......
......@@ -12,6 +12,12 @@ Build-Depends:
ghc (>= 8.4.3),
happy,
haskell-devscripts (>= 0.13),
ghc-prof,
libghc-edison-core-dev,
libghc-edison-core-prof,
libghc-aeson-dev (>= 0.11.3.0),
libghc-aeson-dev (<< 1.5),
libghc-aeson-prof,
libghc-async-dev (>= 2.2),
libghc-async-dev (<< 2.3),
libghc-blaze-html-dev (>= 0.8),
......@@ -21,14 +27,14 @@ Build-Depends:
libghc-boxes-dev (>= 0.1.3),
libghc-data-hash-dev (<< 0.3),
libghc-data-hash-dev (>= 0.2.0.0),
libghc-edison-core-dev (>= 1.3.2.1),
libghc-edison-core-dev (<< 1.4),
libghc-edit-distance-dev (<< 0.3),
libghc-equivalence-dev (>= 0.3.2),
libghc-equivalence-dev (<< 0.4),
libghc-equivalence-dev (>= 0.2.5),
libghc-filemanip-dev (<< 0.4),
libghc-filemanip-dev (>= 0.3.6.3),
libghc-equivalence-prof,
libghc-exceptions-dev (>= 0.8),
libghc-exceptions-dev (<< 0.11),
libghc-exceptions-prof,
libghc-geniplate-mirror-dev (>= 0.6.0.6),
libghc-geniplate-mirror-dev (<< 0.8),
libghc-gitrev-dev (>= 1.3.1),
libghc-gitrev-dev (<< 2.0),
......@@ -42,6 +48,10 @@ Build-Depends:
libghc-murmur-hash-dev (<< 0.2),
libghc-regex-tdfa-dev (>= 1.2.2),
libghc-regex-tdfa-dev (<< 1.3),
libghc-regex-tdfa-prof,
libghc-split-dev (>= 0.2.0.0),
libghc-split-dev (<< 0.2.3.4),
libghc-split-prof,
libghc-strict-dev (>= 0.3.2),
libghc-strict-dev (<< 0.4),
libghc-unordered-containers-dev (>= 0.2.5.0),
......@@ -54,12 +64,14 @@ Build-Depends:
happy,
Build-Depends-Indep: ghc-doc,
libghc-edison-core-doc,
libghc-aeson-doc,
libghc-async-doc,
libghc-blaze-html-doc,
libghc-boxes-doc,
libghc-data-hash-doc,
libghc-edit-distance-doc,
libghc-equivalence-doc,
libghc-exceptions-doc,
libghc-geniplate-mirror-doc,
libghc-gitrev-doc,
libghc-hashable-doc,
......@@ -67,11 +79,12 @@ Build-Depends-Indep: ghc-doc,
libghc-ieee754-doc,
libghc-murmur-hash-doc,
libghc-regex-tdfa-doc,
libghc-split-doc,
libghc-strict-doc,
libghc-unordered-containers-doc,
libghc-uri-encode-doc,
libghc-zlib-doc,
Standards-Version: 4.1.4
Standards-Version: 4.4.0
Homepage: http://wiki.portal.chalmers.se/agda/
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
......
See https://github.com/agda/agda/issues/2804
Index: b/src/full/Agda/Interaction/Library.hs
===================================================================
--- a/src/full/Agda/Interaction/Library.hs
+++ b/src/full/Agda/Interaction/Library.hs
@@ -225,13 +225,19 @@ getInstalledLibraries
@@ -267,13 +267,19 @@
-> LibM [AgdaLibFile] -- ^ Content of library files. (Might have empty @LibName@s.)
getInstalledLibraries overrideLibFile = mkLibM [] $ do
file <- lift $ getLibrariesFile overrideLibFile
......@@ -12,13 +10,13 @@ Index: b/src/full/Agda/Interaction/Library.hs
+ 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
parseLibFiles (Just file) $ List.nubBy ((==) `on` snd) files
+ systemlibs <- ifNotM (lift $ doesDirectoryExist systemLibDir) (return []) $ do
+ files <- lift $ filter isLibFile <$> listDirectory systemLibDir
+ parseLibFiles Nothing $ zip [1..] $ map (systemLibDir </>) files
+ return $ userlibs ++ systemlibs
`catchIO` \ e -> do
tell [ OtherError $ unlines ["Failed to read installed libraries.", show e] ]
raiseErrors' [ OtherError $ unlines ["Failed to read installed libraries.", show e] ]
return []
+ where systemLibDir = "/var/lib/agda"
+ isLibFile fn = takeExtension fn == ".agda-lib" && not ("." `List.isPrefixOf` fn)
......
alex (3.2.4-5) UNRELEASED; urgency=medium
* Remove Dmitry Bogatov from Uploaders per his request. Thank you
Dmitry for your previous maintainership.
-- Ilias Tsitsimpis <iliastsi@debian.org> Tue, 30 Jul 2019 13:10:07 +0300
alex (3.2.4-4) unstable; urgency=medium
[ Clint Adams ]
......
......@@ -3,7 +3,7 @@ Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.or
Uploaders: Joachim Breitner <nomeata@debian.org>,
Clint Adams <clint@debian.org>,
Louis Bettens <louis@bettens.info>,
Dmitry Bogatov <KAction@gnu.org>
Ilias Tsitsimpis <iliastsi@debian.org>
Priority: optional
Section: haskell
Rules-Requires-Root: no
......
bnfc (2.8.1-7) UNRELEASED; urgency=medium
* Remove Dmitry Bogatov from Uploaders per his request. Thank you
Dmitry for your previous maintainership.
-- Ilias Tsitsimpis <iliastsi@debian.org> Tue, 30 Jul 2019 13:10:07 +0300
bnfc (2.8.1-6) unstable; urgency=medium
* Patch to build with ghc-8.4
......
......@@ -2,7 +2,7 @@ Source: bnfc
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:
Joachim Breitner <nomeata@debian.org>,
Dmitry Bogatov <KAction@gnu.org>,
Ilias Tsitsimpis <iliastsi@debian.org>,
Priority: optional
Section: haskell
Rules-Requires-Root: no
......
bustle (0.6.2-4) UNRELEASED; urgency=medium
bustle (0.7.5-1) unstable; urgency=medium
* Add missing "Upstream-Name" field into "debian/copyright".
* New upstream release
-- Gianfranco Costamagna <locutusofborg@debian.org> Sun, 08 Sep 2019 00:54:22 +0200
bustle (0.7.4-1) unstable; urgency=medium
* New upstream release
-- Dmitry Bogatov <KAction@debian.org> Thu, 16 May 2019 14:24:00 +0000
-- Héctor Orón Martínez <zumbi@debian.org> Fri, 14 Dec 2018 19:16:55 +0100
bustle (0.6.2-3) unstable; urgency=medium
......
--- a/Makefile
+++ b/Makefile
@@ -85,8 +85,6 @@
clean:
rm -f $(BINARIES) $(MANPAGE) $(BUSTLE_PCAP_GENERATED_HEADERS) $(DESKTOP_FILE) $(APPDATA_FILE)
- if test -d ./$(TARBALL_DIR); then rm -r ./$(TARBALL_DIR); fi
- rm -f ./$(TARBALL)
# Icon cache stuff
gtk_update_icon_cache = gtk-update-icon-cache -f -t $(DATADIR)/icons/hicolor
use-system-usr-prefix.patch
no-tarball
c2hs (0.28.5-3) UNRELEASED; urgency=medium
c2hs (0.28.6-1) unstable; urgency=medium
[ Dmitry Bogatov ]
* Add missing "Upstream-Name" field into "debian/copyright".
-- Dmitry Bogatov <KAction@debian.org> Thu, 16 May 2019 14:24:00 +0000
[ Clint Adams ]
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 28 Jul 2019 20:13:16 -0400
c2hs (0.28.5-2) unstable; urgency=medium
......
cabal-debian (5.0-1) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Remove Dmitry Bogatov from Uploaders per his request. Thank you
Dmitry for your previous maintainership.
[ Clint Adams ]
* New upstream release
-- Clint Adams <clint@debian.org> Sat, 31 Aug 2019 09:55:11 -0400
cabal-debian (4.38.5-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 28 Jul 2019 19:03:59 -0400
cabal-debian (4.38.2-1) unstable; urgency=medium
* New upstream release
......
......@@ -2,7 +2,7 @@ Source: cabal-debian
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:
Clint Adams <clint@debian.org>,
Dmitry Bogatov <KAction@gnu.org>,
Ilias Tsitsimpis <iliastsi@debian.org>,
Priority: optional
Section: haskell
Rules-Requires-Root: no
......@@ -15,8 +15,6 @@ Build-Depends: debhelper (>= 10),
libghc-diff-prof,
libghc-hunit-dev,
libghc-hunit-prof,
libghc-unixutils-dev (>= 1.53),
libghc-unixutils-prof,
libghc-ansi-wl-pprint-dev (>= 0.6),
libghc-ansi-wl-pprint-dev (<< 0.7),
libghc-ansi-wl-pprint-prof,
......@@ -24,7 +22,7 @@ Build-Depends: debhelper (>= 10),
libghc-bifunctors-prof,
libghc-data-default-dev,
libghc-data-default-prof,
libghc-debian-dev (>= 3.91),
libghc-debian-dev (>= 4.0),
libghc-debian-prof,
libghc-exceptions-dev,
libghc-exceptions-prof,
......@@ -32,8 +30,6 @@ Build-Depends: debhelper (>= 10),
libghc-hsemail-prof,
libghc-lens-dev,
libghc-lens-prof,
libghc-memoize-dev (>= 0.7),
libghc-memoize-prof,
libghc-network-uri-dev,
libghc-network-uri-prof,
libghc-newtype-generics-dev (>= 0.4),
......@@ -44,15 +40,32 @@ Build-Depends: debhelper (>= 10),
libghc-puremd5-prof,
libghc-regex-tdfa-dev,
libghc-regex-tdfa-prof,
libghc-set-extra-dev,
libghc-set-extra-prof,
libghc-syb-dev,
libghc-syb-prof,
libghc-unliftio-dev (>= 0.2.8.0),
libghc-unliftio-prof,
libghc-utf8-string-dev,
libghc-utf8-string-prof,
Standards-Version: 4.2.1
Homepage: https://github.com/ddssff/cabal-debian
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/cabal-debian]
Build-Depends-Indep: ghc-doc,
libghc-diff-doc,
libghc-hunit-doc,
libghc-ansi-wl-pprint-doc,
libghc-bifunctors-doc,
libghc-data-default-doc,
libghc-debian-doc,
libghc-exceptions-doc,
libghc-hsemail-doc,
libghc-lens-doc,
libghc-network-uri-doc,
libghc-newtype-generics-doc,
libghc-optparse-applicative-doc,
libghc-puremd5-doc,
libghc-regex-tdfa-doc,
libghc-syb-doc,
libghc-unliftio-doc,
libghc-utf8-string-doc,
Standards-Version: 4.4.0
Homepage: https://github.com/clinty/cabal-debian
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/cabal-debian
Package: cabal-debian
......
darcs (2.14.2-2) unstable; urgency=medium
* Patch for newer deps
-- Gianfranco Costamagna <locutusofborg@debian.org> Fri, 06 Sep 2019 15:51:26 +0200
darcs (2.14.2-1) unstable; urgency=medium
* New upstream release
-- Clint Adams <clint@debian.org> Sun, 28 Jul 2019 16:56:25 -0400
darcs (2.14.1-3) unstable; urgency=medium
* Remove build dependency on libghc-parsec3-dev (provided by ghc-
......
......@@ -28,7 +28,7 @@ Build-Depends:
libghc-data-ordlist-dev (<< 0.5),
libghc-data-ordlist-prof,
libghc-fgl-dev (>= 5.5.2.3),
libghc-fgl-dev (<< 5.7),
libghc-fgl-dev (<< 5.8),
libghc-fgl-prof,
libghc-graphviz-dev (>= 2999.18.1),
libghc-graphviz-dev (<< 2999.20.1),
......@@ -42,7 +42,7 @@ Build-Depends:
libghc-mmap-dev (<< 0.6),
libghc-mmap-prof,
libghc-network-dev (>= 2.6),
libghc-network-dev (<< 2.8),
libghc-network-dev (<< 2.9),
libghc-network-prof,
libghc-network-uri-dev (>= 2.6),
libghc-network-uri-dev (<< 2.7),
......@@ -58,7 +58,7 @@ Build-Depends:
libghc-regex-compat-tdfa-dev (<< 0.96),
libghc-regex-compat-tdfa-prof,
libghc-sandi-dev (>= 0.4),
libghc-sandi-dev (<< 0.5),
libghc-sandi-dev (<< 0.6),
libghc-sandi-prof,
libghc-tar-dev (>= 0.5),
libghc-tar-dev (<< 0.6),
......@@ -73,7 +73,7 @@ Build-Depends:
libghc-vector-dev (<< 0.13),
libghc-vector-prof,
libghc-zip-archive-dev (>= 0.3),
libghc-zip-archive-dev (<< 0.4),
libghc-zip-archive-dev (<< 0.5),
libghc-zip-archive-prof,
libghc-zlib-dev (>= 0.6.1.2),
libghc-zlib-dev (<< 0.7.0.0),
......
--- darcs-2.14.2.orig/darcs.cabal
+++ darcs-2.14.2/darcs.cabal
@@ -403,7 +403,7 @@ Library
attoparsec >= 0.13.0.1 && < 0.14,
zip-archive >= 0.3 && < 0.5,
async >= 2.0.2 && < 2.3,
- sandi >= 0.4 && < 0.5,
+ sandi >= 0.4 && < 0.6,
unix-compat >= 0.4.2 && < 0.6,
bytestring >= 0.10.6 && < 0.11,
old-time >= 1.1.0.3 && < 1.2,
ghc-testsuite (8.6.5-1) unstable; urgency=medium
* New upstream release
* Update copyright file and Build depends
-- Gianfranco Costamagna <locutusofborg@debian.org> Wed, 24 Jul 2019 12:23:40 +0200
ghc-testsuite (8.4.4-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
......
......@@ -7,8 +7,8 @@ Rules-Requires-Root: no
Build-Depends:
python,
debhelper (>= 10),
ghc (>= 8.4.4),
ghc (<< 8.4.5),
ghc (>= 8.6.5),
ghc (<< 8.6.6),
ghc-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
......