diff --git a/LICENSE b/LICENSE --- a/LICENSE +++ b/LICENSE @@ -1,29 +1,35 @@ -Copyright © 2004 Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center) -Copyright © 2004 Ralf Lämmel (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam) -Copyright © 2004 Keean Schupke (Imperial College London) +Copyright © 2004 Oleg Kiselyov¹ +Copyright © 2004 Ralf Lämmel² +Copyright © 2004 Keean Schupke³ Copyright © 2008 2009 Brandenburgische Technische Universität Cottbus Copyright © 2011–2012 Wolfgang Jeltsch All rights reserved. -Redistribution and use in source and binary forms, with or without modification, are permitted -provided that the following conditions are met: + ¹ Fleet Numerical Meteorology and Oceanography Center + ² Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam + ³ Imperial College London - * Redistributions of source code must retain the above copyright notice, this list of conditions - and the following disclaimer. +Redistribution and use in source and binary forms, with or without modification, +are permitted provided that the following conditions are met: - * Redistributions in binary form must reproduce the above copyright notice, this list of - conditions and the following disclaimer in the documentation and/or other materials provided - with the distribution. + • Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimer. - * Neither the name of the copyright holders nor the names of the contributors may be used to - endorse or promote products derived from this software without specific prior written - permission. + • Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND ANY EXPRESS OR -IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND -FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR -CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, -DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER -IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF -THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + • Neither the name of the copyright holders nor the names of the + contributors may be used to endorse or promote products derived from this + software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS “AS IS” AND +ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE +FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR +TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF +THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/type-equality-check.cabal b/type-equality-check.cabal --- a/type-equality-check.cabal +++ b/type-equality-check.cabal @@ -1,13 +1,15 @@ Name: type-equality-check -Version: 0.0.0.3 -Cabal-Version: >= 1.6 +Version: 0.0.0.4 +Cabal-Version: >= 1.8 Build-Type: Simple License: BSD3 License-File: LICENSE Copyright: © 2004 Oleg Kiselyov - (Fleet Numerical Meteorology and Oceanography Center); + (Fleet Numerical Meteorology and Oceanography + Center); © 2004 Ralf Lämmel - (Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam); + (Centrum Wiskunde & Informatica, Vrije Universiteit + Amsterdam); © 2004 Keean Schupke (Imperial College London); © 2008–2009 Brandenburgische Technische Universität Cottbus; @@ -16,25 +18,25 @@ Maintainer: wolfgang@cs.ioc.ee Stability: provisional Homepage: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check -Package-URL: http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.3/type-equality-check-0.0.0.3.tar.gz +Package-URL: http://hackage.haskell.org/packages/archive/type-equality-check/0.0.0.4/type-equality-check-0.0.0.4.tar.gz Synopsis: Type equality check -Description: This packages provides a type equality check whose implementation is basically the - one from the HList library. +Description: This packages provides a type equality check whose implementation + is basically the one from the HList library. Category: Data -Tested-With: GHC == 7.4.1 +Tested-With: GHC == 8.0.1 Source-Repository head - type: darcs - location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main + Type: darcs + Location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main Source-Repository this - type: darcs - location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main - tag: type-equality-check-0.0.0.3 + Type: darcs + Location: http://darcs.wolfgang.jeltsch.info/haskell/type-equality-check/main + Tag: type-equality-check-0.0.0.4 Library Build-Depends: base >= 3.0 && < 5, - type-level >= 0.1 && < 0.3 + type-level >= 0.1 && < 0.4 Extensions: FlexibleContexts FlexibleInstances FunctionalDependencies