Loading additional-cabals/curry-frontend-1.0.4.cabal 0 → 100644 +166 −0 Original line number Diff line number Diff line Name: curry-frontend Version: 1.0.4 Cabal-Version: >= 1.10 Synopsis: Compile the functional logic language Curry to several intermediate formats Description: The Curry front end consists of the executable program "curry-frontend". It is used by various backends to compile Curry programs to an intermediate representation. The code is a stripped-down version of an early version of the Muenster Curry Compiler (<http://danae.uni-muenster.de/curry/>) which has been extended to produce different intermediate representations. For further information, please check <http://curry-language.org> Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Bjoern Peemoeller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: LIESMICH CHANGELOG.md Data-Dir: data Data-Files: currysource.css source-repository head type: git location: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git Flag network-uri description: Get Network.URI from the network-uri package default: True Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 Exposed-Modules: Base.AnnotExpr , Base.CurryKinds , Base.CurryTypes , Base.Expr , Base.KindSubst , Base.Kinds , Base.Messages , Base.NestEnv , Base.PrettyKinds , Base.PrettyTypes , Base.SCC , Base.Subst , Base.TopEnv , Base.TypeExpansion , Base.TypeSubst , Base.Types , Base.Typing , Base.Utils , Checks , Checks.DeriveCheck , Checks.ExportCheck , Checks.ExtensionCheck , Checks.ImportSyntaxCheck , Checks.InstanceCheck , Checks.InterfaceCheck , Checks.InterfaceSyntaxCheck , Checks.KindCheck , Checks.PrecCheck , Checks.SyntaxCheck , Checks.TypeCheck , Checks.TypeSyntaxCheck , Checks.WarnCheck , CompilerEnv , CompilerOpts , CondCompile , CurryBuilder , CurryDeps , Env.Class , Env.Instance , Env.Interface , Env.ModuleAlias , Env.OpPrec , Env.Type , Env.TypeConstructor , Env.Value , Exports , Files.CymakePath , Generators , Generators.GenAbstractCurry , Generators.GenFlatCurry , Generators.GenTypedFlatCurry , Generators.GenTypeAnnotatedFlatCurry , Html.CurryHtml , Html.SyntaxColoring , IL , IL.Pretty , IL.ShowModule , IL.Type , IL.Typing , Imports , Interfaces , Modules , TokenStream , Transformations , Transformations.CaseCompletion , Transformations.CurryToIL , Transformations.Derive , Transformations.Desugar , Transformations.Dictionary , Transformations.Lift , Transformations.Newtypes , Transformations.Qual , Transformations.Simplify Other-Modules: Paths_curry_frontend ghc-options: -Wall -fno-warn-orphans Executable curry-frontend hs-source-dirs: src Main-is: cymake.hs default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , curry-frontend , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 ghc-options: -Wall -fno-warn-orphans Test-Suite test-frontend type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestFrontend build-depends: base == 4.*, Cabal >= 1.20, curry-base == 1.1.0 , curry-frontend, filepath packages.txt +12 −8 Original line number Diff line number Diff line Loading @@ -103,7 +103,7 @@ cborg-json 0.2.1.0 cereal 0.5.8.1 cereal-conduit 0.8.0 cereal-vector 0.2.0.1 cgi 3001.3.0.3 cgi 3001.4.0.0 ahead charset 0.3.7.1 charsetdetect-ae 1.1.0.4 Chart 1.9.1 Loading Loading @@ -200,13 +200,14 @@ dbus 1.2.7 notest dbus-hslogger 0.1.0.1 debian 3.95 debug-me 1.20181208 binary ignore # LTS 13: newer aeson dec 0.0.3 Decimal 0.5.1 deepseq-generics 0.2.0.0 dense-linear-algebra 0.1.0.0 dependent-map 0.2.4.0 dependent-sum 0.4 dependent-sum-template 0.0.0.6 derive 2.6.4 derive 2.6.5 deriving-compat 0.5.6 descriptive 0.9.5 diagrams 1.4 binary=libghc-diagrams-dev ignore # hand-created meta package, does not yet pull in diagrams-contrib Loading Loading @@ -256,7 +257,7 @@ entropy 0.4.1.4 enumerator 0.4.20 ignore # see https://bugs.debian.org/910532 enummapset 0.6.0.1 enummapset-th 0.6.1.1 ignore # LTS 13: newer base equivalence 0.3.2 equivalence 0.3.4 erf 2.0.0.0 errors 2.3.0 esqueleto 2.6.0 notest # testsuite requires persistent-mysql Loading Loading @@ -374,7 +375,7 @@ hashable-extras 0.2.3 avoid hashable-time 0.2.0.2 hashmap 1.3.3 hashtables 1.2.3.3 HaskellForMaths 0.4.8 HaskellForMaths 0.4.9 haskell-gi 0.21.5 haskell-gi-base 0.21.5 haskell-gi-overloading 1.0 avoid # patch it out Loading @@ -396,7 +397,7 @@ HDBC-odbc 2.5.0.1 ignore # https://bugs.debian.org/914353 HDBC-postgresql 2.3.2.5 key HDBC-session 0.1.2.0 HDBC-sqlite3 2.3.3.1 key hdevtools 0.1.7.0 binary hdevtools 0.1.8.0 binary heaps 0.3.6.1 hedgehog 0.6.1 hedgewars-server 0.1 meta key Loading Loading @@ -498,7 +499,7 @@ interpolate 0.2.0 intervals 0.8.1 invariant 0.5.3 io-choice 0.0.7 IOSpec 0.3 IOSpec 0.3.1.1 io-storage 0.3 io-streams 1.5.1.0 io-streams-haproxy 1.0.1.0 Loading Loading @@ -541,6 +542,7 @@ LDAP 0.6.11 key lens 4.17.1 -f-test-hlint -f-test-doctests lens-action 0.2.3 lens-aeson 1.0.2 lens-family-core 1.2.3 lhs2tex 1.22 binary key libmpd 0.9.0.9 libxml-sax 0.7.5 Loading Loading @@ -807,6 +809,7 @@ securemem 0.1.10 semigroupoids 5.3.2 semigroups 0.18.5 sendfile 0.7.11.1 serialise 0.2.1.0 servant 0.15 servant-client 0.15 notest # avoid dependency on markdown-unlit servant-client-core 0.15 Loading Loading @@ -848,6 +851,7 @@ sockaddr 0.0.0 socks 0.5.6 sop-core 0.4.0.0 split 0.2.3.3 splitmix 0.0.2 spool 0.1 sql-words 0.1.6.3 stack 1.9.3.1 binary=haskell-stack key Loading Loading @@ -1032,8 +1036,8 @@ x509-store 1.6.7 x509-system 1.6.6 x509-util 1.6.4 binary key x509-validation 1.6.11 xcb-types 0.9.0 xcffib 0.6.0 binary=python-xcffib key ignore # BROKEN: LTS 13: language-python via containers xcb-types 0.10.0 xcffib 0.8.1 binary=python-xcffib key ignore # BROKEN: LTS 13: language-python via containers xdg-basedir 0.2.2 xml 1.3.14 xml-conduit 1.8.0.1 Loading patches/equivalence/0.3.4/drop-fail-dep.patch 0 → 100644 +16 −0 Original line number Diff line number Diff line --- haskell-equivalence-0.3.4.orig/equivalence.cabal +++ haskell-equivalence-0.3.4/equivalence.cabal @@ -35,7 +35,7 @@ Test-Suite test hs-source-dirs: src testsuite/tests Build-Depends: base >= 4, template-haskell, containers, mtl >= 2.0.1, QuickCheck >= 2, test-framework, test-framework-quickcheck2, STMonadTrans >= 0.4.3, - transformers >= 0.2, transformers-compat >= 0.3, fail + transformers >= 0.2, transformers-compat >= 0.3 Library Build-Depends: @@ -45,4 +45,3 @@ Library Data.Equivalence.STT, Data.Equivalence.Monad Hs-Source-Dirs: src - build-depends: fail patches/equivalence/0.3.4/series 0 → 100644 +1 −0 Original line number Diff line number Diff line drop-fail-dep.patch Loading
additional-cabals/curry-frontend-1.0.4.cabal 0 → 100644 +166 −0 Original line number Diff line number Diff line Name: curry-frontend Version: 1.0.4 Cabal-Version: >= 1.10 Synopsis: Compile the functional logic language Curry to several intermediate formats Description: The Curry front end consists of the executable program "curry-frontend". It is used by various backends to compile Curry programs to an intermediate representation. The code is a stripped-down version of an early version of the Muenster Curry Compiler (<http://danae.uni-muenster.de/curry/>) which has been extended to produce different intermediate representations. For further information, please check <http://curry-language.org> Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Bjoern Peemoeller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: LIESMICH CHANGELOG.md Data-Dir: data Data-Files: currysource.css source-repository head type: git location: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git Flag network-uri description: Get Network.URI from the network-uri package default: True Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 Exposed-Modules: Base.AnnotExpr , Base.CurryKinds , Base.CurryTypes , Base.Expr , Base.KindSubst , Base.Kinds , Base.Messages , Base.NestEnv , Base.PrettyKinds , Base.PrettyTypes , Base.SCC , Base.Subst , Base.TopEnv , Base.TypeExpansion , Base.TypeSubst , Base.Types , Base.Typing , Base.Utils , Checks , Checks.DeriveCheck , Checks.ExportCheck , Checks.ExtensionCheck , Checks.ImportSyntaxCheck , Checks.InstanceCheck , Checks.InterfaceCheck , Checks.InterfaceSyntaxCheck , Checks.KindCheck , Checks.PrecCheck , Checks.SyntaxCheck , Checks.TypeCheck , Checks.TypeSyntaxCheck , Checks.WarnCheck , CompilerEnv , CompilerOpts , CondCompile , CurryBuilder , CurryDeps , Env.Class , Env.Instance , Env.Interface , Env.ModuleAlias , Env.OpPrec , Env.Type , Env.TypeConstructor , Env.Value , Exports , Files.CymakePath , Generators , Generators.GenAbstractCurry , Generators.GenFlatCurry , Generators.GenTypedFlatCurry , Generators.GenTypeAnnotatedFlatCurry , Html.CurryHtml , Html.SyntaxColoring , IL , IL.Pretty , IL.ShowModule , IL.Type , IL.Typing , Imports , Interfaces , Modules , TokenStream , Transformations , Transformations.CaseCompletion , Transformations.CurryToIL , Transformations.Derive , Transformations.Desugar , Transformations.Dictionary , Transformations.Lift , Transformations.Newtypes , Transformations.Qual , Transformations.Simplify Other-Modules: Paths_curry_frontend ghc-options: -Wall -fno-warn-orphans Executable curry-frontend hs-source-dirs: src Main-is: cymake.hs default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , curry-frontend , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 ghc-options: -Wall -fno-warn-orphans Test-Suite test-frontend type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestFrontend build-depends: base == 4.*, Cabal >= 1.20, curry-base == 1.1.0 , curry-frontend, filepath
packages.txt +12 −8 Original line number Diff line number Diff line Loading @@ -103,7 +103,7 @@ cborg-json 0.2.1.0 cereal 0.5.8.1 cereal-conduit 0.8.0 cereal-vector 0.2.0.1 cgi 3001.3.0.3 cgi 3001.4.0.0 ahead charset 0.3.7.1 charsetdetect-ae 1.1.0.4 Chart 1.9.1 Loading Loading @@ -200,13 +200,14 @@ dbus 1.2.7 notest dbus-hslogger 0.1.0.1 debian 3.95 debug-me 1.20181208 binary ignore # LTS 13: newer aeson dec 0.0.3 Decimal 0.5.1 deepseq-generics 0.2.0.0 dense-linear-algebra 0.1.0.0 dependent-map 0.2.4.0 dependent-sum 0.4 dependent-sum-template 0.0.0.6 derive 2.6.4 derive 2.6.5 deriving-compat 0.5.6 descriptive 0.9.5 diagrams 1.4 binary=libghc-diagrams-dev ignore # hand-created meta package, does not yet pull in diagrams-contrib Loading Loading @@ -256,7 +257,7 @@ entropy 0.4.1.4 enumerator 0.4.20 ignore # see https://bugs.debian.org/910532 enummapset 0.6.0.1 enummapset-th 0.6.1.1 ignore # LTS 13: newer base equivalence 0.3.2 equivalence 0.3.4 erf 2.0.0.0 errors 2.3.0 esqueleto 2.6.0 notest # testsuite requires persistent-mysql Loading Loading @@ -374,7 +375,7 @@ hashable-extras 0.2.3 avoid hashable-time 0.2.0.2 hashmap 1.3.3 hashtables 1.2.3.3 HaskellForMaths 0.4.8 HaskellForMaths 0.4.9 haskell-gi 0.21.5 haskell-gi-base 0.21.5 haskell-gi-overloading 1.0 avoid # patch it out Loading @@ -396,7 +397,7 @@ HDBC-odbc 2.5.0.1 ignore # https://bugs.debian.org/914353 HDBC-postgresql 2.3.2.5 key HDBC-session 0.1.2.0 HDBC-sqlite3 2.3.3.1 key hdevtools 0.1.7.0 binary hdevtools 0.1.8.0 binary heaps 0.3.6.1 hedgehog 0.6.1 hedgewars-server 0.1 meta key Loading Loading @@ -498,7 +499,7 @@ interpolate 0.2.0 intervals 0.8.1 invariant 0.5.3 io-choice 0.0.7 IOSpec 0.3 IOSpec 0.3.1.1 io-storage 0.3 io-streams 1.5.1.0 io-streams-haproxy 1.0.1.0 Loading Loading @@ -541,6 +542,7 @@ LDAP 0.6.11 key lens 4.17.1 -f-test-hlint -f-test-doctests lens-action 0.2.3 lens-aeson 1.0.2 lens-family-core 1.2.3 lhs2tex 1.22 binary key libmpd 0.9.0.9 libxml-sax 0.7.5 Loading Loading @@ -807,6 +809,7 @@ securemem 0.1.10 semigroupoids 5.3.2 semigroups 0.18.5 sendfile 0.7.11.1 serialise 0.2.1.0 servant 0.15 servant-client 0.15 notest # avoid dependency on markdown-unlit servant-client-core 0.15 Loading Loading @@ -848,6 +851,7 @@ sockaddr 0.0.0 socks 0.5.6 sop-core 0.4.0.0 split 0.2.3.3 splitmix 0.0.2 spool 0.1 sql-words 0.1.6.3 stack 1.9.3.1 binary=haskell-stack key Loading Loading @@ -1032,8 +1036,8 @@ x509-store 1.6.7 x509-system 1.6.6 x509-util 1.6.4 binary key x509-validation 1.6.11 xcb-types 0.9.0 xcffib 0.6.0 binary=python-xcffib key ignore # BROKEN: LTS 13: language-python via containers xcb-types 0.10.0 xcffib 0.8.1 binary=python-xcffib key ignore # BROKEN: LTS 13: language-python via containers xdg-basedir 0.2.2 xml 1.3.14 xml-conduit 1.8.0.1 Loading
patches/equivalence/0.3.4/drop-fail-dep.patch 0 → 100644 +16 −0 Original line number Diff line number Diff line --- haskell-equivalence-0.3.4.orig/equivalence.cabal +++ haskell-equivalence-0.3.4/equivalence.cabal @@ -35,7 +35,7 @@ Test-Suite test hs-source-dirs: src testsuite/tests Build-Depends: base >= 4, template-haskell, containers, mtl >= 2.0.1, QuickCheck >= 2, test-framework, test-framework-quickcheck2, STMonadTrans >= 0.4.3, - transformers >= 0.2, transformers-compat >= 0.3, fail + transformers >= 0.2, transformers-compat >= 0.3 Library Build-Depends: @@ -45,4 +45,3 @@ Library Data.Equivalence.STT, Data.Equivalence.Monad Hs-Source-Dirs: src - build-depends: fail
patches/equivalence/0.3.4/series 0 → 100644 +1 −0 Original line number Diff line number Diff line drop-fail-dep.patch
