mirror of
https://github.com/github/semantic.git
synced 2024-11-23 08:27:56 +03:00
manually fix previous manual fixes
This commit is contained in:
parent
524c45d634
commit
b85583bee3
@ -4,7 +4,7 @@ name: ansi-wl-pprint
|
||||
version: 0.6.8.2
|
||||
summary: The Wadler/Leijen Pretty Printer for colored ANSI terminal output
|
||||
homepage: https://github.com/ekmett/ansi-wl-pprint
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2008, Daan Leijen and Max Bolingbroke. All rights reserved.
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: comonad
|
||||
version: 5.0.4
|
||||
summary: Comonads
|
||||
homepage: https://github.com/ekmett/comonad/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2008-2014 Edward Kmett
|
||||
Copyright 2004-2008 Dave Menendez
|
||||
|
@ -4,7 +4,7 @@ name: directory-tree
|
||||
version: 0.12.1
|
||||
summary: A simple directory-like tree datatype, with useful IO functions
|
||||
homepage: https://brandon.si/code/directory-tree-module-released/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright (c) 2009 Brandon Simmons
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: distributive
|
||||
version: '0.6'
|
||||
summary: Distributive functors -- Dual to Traversable
|
||||
homepage: https://github.com/ekmett/distributive/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2011-2016 Edward Kmett
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: ghc-tcplugins-extra
|
||||
version: '0.3'
|
||||
summary: Utilities for writing GHC type-checker plugins
|
||||
homepage: https://github.com/clash-lang/ghc-tcplugins-extra
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright (c) 2015-2016, University of Twente,
|
||||
2017-2018, QBayLogic
|
||||
|
@ -4,7 +4,7 @@ name: ghc-typelits-extra
|
||||
version: '0.3'
|
||||
summary: Additional type-level operations on GHC.TypeLits.Nat
|
||||
homepage: https://www.clash-lang.org/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright (c) 2015-2016, University of Twente,
|
||||
2017-2018, QBayLogic B.V.
|
||||
|
@ -4,7 +4,7 @@ name: ghc-typelits-knownnat
|
||||
version: '0.6'
|
||||
summary: Derive KnownNat constraints from other KnownNat constraints
|
||||
homepage: https://clash-lang.org/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright (c) 2016 , University of Twente,
|
||||
2017-2018, QBayLogic B.V.,
|
||||
|
@ -4,7 +4,7 @@ name: ghc-typelits-natnormalise
|
||||
version: 0.6.2
|
||||
summary: GHC typechecker plugin for types of kind GHC.TypeLits.Nat
|
||||
homepage: https://www.clash-lang.org/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright (c) 2015-2016, University of Twente,
|
||||
2017-2018, QBayLogic B.V.
|
||||
|
@ -4,7 +4,7 @@ name: lens
|
||||
version: '4.17'
|
||||
summary: Lenses, Folds and Traversals
|
||||
homepage: https://github.com/ekmett/lens/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2012-2016 Edward Kmett
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: megaparsec
|
||||
version: 7.0.4
|
||||
summary: Monadic parser combinators
|
||||
homepage: https://github.com/mrkkrp/megaparsec
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright © 2015–2018 Megaparsec contributors<br>
|
||||
Copyright © 2007 Paolo Martini<br>
|
||||
|
@ -4,7 +4,7 @@ name: parsec
|
||||
version: 3.1.13.0
|
||||
summary: Monadic parser combinators
|
||||
homepage: https://github.com/haskell/parsec
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 1999-2000, Daan Leijen; 2007, Paolo Martini. All rights reserved.
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: pointed
|
||||
version: 5.0.1
|
||||
summary: Pointed and copointed data
|
||||
homepage: https://github.com/ekmett/pointed/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2008-2011 Edward Kmett
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: recursion-schemes
|
||||
version: '5.1'
|
||||
summary: Generalized bananas, lenses and barbed wire
|
||||
homepage: https://github.com/ekmett/recursion-schemes/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2011-2015 Edward Kmett
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: semigroupoids
|
||||
version: 5.3.1
|
||||
summary: 'Semigroupoids: Category sans id'
|
||||
homepage: https://github.com/ekmett/semigroupoids
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2011-2015 Edward Kmett
|
||||
|
||||
|
@ -4,7 +4,7 @@ name: semigroups
|
||||
version: 0.18.5
|
||||
summary: Anything that associates
|
||||
homepage: https://github.com/ekmett/semigroups/
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2011-2015 Edward Kmett
|
||||
|
||||
|
@ -6,86 +6,86 @@ summary: Scrap Your Boilerplate
|
||||
homepage: https://www.cs.uu.nl/wiki/GenericProgramming/SYB
|
||||
license: bsd-3-clause
|
||||
---
|
||||
This library (libraries/syb) is derived from code from several
|
||||
sources:
|
||||
|
||||
* Code from the GHC project which is largely (c) The University of
|
||||
Glasgow, and distributable under a BSD-style license (see below),
|
||||
|
||||
* Code from the Haskell 98 Report which is (c) Simon Peyton Jones
|
||||
and freely redistributable (but see the full license for
|
||||
restrictions).
|
||||
|
||||
* Code from the Haskell Foreign Function Interface specification,
|
||||
which is (c) Manuel M. T. Chakravarty and freely redistributable
|
||||
(but see the full license for restrictions).
|
||||
|
||||
The full text of these licenses is reproduced below. All of the
|
||||
licenses are BSD-style or compatible.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
The Glasgow Haskell Compiler License
|
||||
|
||||
Copyright 2004, The University Court of the University of Glasgow.
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions are met:
|
||||
|
||||
- Redistributions of source code must retain the above copyright notice,
|
||||
this list of conditions and the following disclaimer.
|
||||
|
||||
- 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.
|
||||
|
||||
- Neither name of the University nor the names of its contributors may be
|
||||
used to endorse or promote products derived from this software without
|
||||
specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF
|
||||
GLASGOW AND THE 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
|
||||
UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE 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.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
Code derived from the document "Report on the Programming Language
|
||||
Haskell 98", is distributed under the following license:
|
||||
|
||||
Copyright (c) 2002 Simon Peyton Jones
|
||||
|
||||
The authors intend this Report to belong to the entire Haskell
|
||||
community, and so we grant permission to copy and distribute it for
|
||||
any purpose, provided that it is reproduced in its entirety,
|
||||
including this Notice. Modified versions of this Report may also be
|
||||
copied and distributed for any purpose, provided that the modified
|
||||
version is clearly presented as such, and that it does not claim to
|
||||
be a definition of the Haskell 98 Language.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
Code derived from the document "The Haskell 98 Foreign Function
|
||||
Interface, An Addendum to the Haskell 98 Report" is distributed under
|
||||
the following license:
|
||||
|
||||
Copyright (c) 2002 Manuel M. T. Chakravarty
|
||||
|
||||
The authors intend this Report to belong to the entire Haskell
|
||||
community, and so we grant permission to copy and distribute it for
|
||||
any purpose, provided that it is reproduced in its entirety,
|
||||
including this Notice. Modified versions of this Report may also be
|
||||
copied and distributed for any purpose, provided that the modified
|
||||
version is clearly presented as such, and that it does not claim to
|
||||
be a definition of the Haskell 98 Foreign Function Interface.
|
||||
|
||||
This library (libraries/syb) is derived from code from several
|
||||
sources:
|
||||
|
||||
* Code from the GHC project which is largely (c) The University of
|
||||
Glasgow, and distributable under a BSD-style license (see below),
|
||||
|
||||
* Code from the Haskell 98 Report which is (c) Simon Peyton Jones
|
||||
and freely redistributable (but see the full license for
|
||||
restrictions).
|
||||
|
||||
* Code from the Haskell Foreign Function Interface specification,
|
||||
which is (c) Manuel M. T. Chakravarty and freely redistributable
|
||||
(but see the full license for restrictions).
|
||||
|
||||
The full text of these licenses is reproduced below. All of the
|
||||
licenses are BSD-style or compatible.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
The Glasgow Haskell Compiler License
|
||||
|
||||
Copyright 2004, The University Court of the University of Glasgow.
|
||||
All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions are met:
|
||||
|
||||
- Redistributions of source code must retain the above copyright notice,
|
||||
this list of conditions and the following disclaimer.
|
||||
|
||||
- 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.
|
||||
|
||||
- Neither name of the University nor the names of its contributors may be
|
||||
used to endorse or promote products derived from this software without
|
||||
specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY COURT OF THE UNIVERSITY OF
|
||||
GLASGOW AND THE 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
|
||||
UNIVERSITY COURT OF THE UNIVERSITY OF GLASGOW OR THE 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.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
Code derived from the document "Report on the Programming Language
|
||||
Haskell 98", is distributed under the following license:
|
||||
|
||||
Copyright (c) 2002 Simon Peyton Jones
|
||||
|
||||
The authors intend this Report to belong to the entire Haskell
|
||||
community, and so we grant permission to copy and distribute it for
|
||||
any purpose, provided that it is reproduced in its entirety,
|
||||
including this Notice. Modified versions of this Report may also be
|
||||
copied and distributed for any purpose, provided that the modified
|
||||
version is clearly presented as such, and that it does not claim to
|
||||
be a definition of the Haskell 98 Language.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
Code derived from the document "The Haskell 98 Foreign Function
|
||||
Interface, An Addendum to the Haskell 98 Report" is distributed under
|
||||
the following license:
|
||||
|
||||
Copyright (c) 2002 Manuel M. T. Chakravarty
|
||||
|
||||
The authors intend this Report to belong to the entire Haskell
|
||||
community, and so we grant permission to copy and distribute it for
|
||||
any purpose, provided that it is reproduced in its entirety,
|
||||
including this Notice. Modified versions of this Report may also be
|
||||
copied and distributed for any purpose, provided that the modified
|
||||
version is clearly presented as such, and that it does not claim to
|
||||
be a definition of the Haskell 98 Foreign Function Interface.
|
||||
|
||||
-----------------------------------------------------------------------------
|
||||
|
@ -4,7 +4,7 @@ name: wl-pprint
|
||||
version: 1.2.1
|
||||
summary: The Wadler/Leijen Pretty Printer
|
||||
homepage:
|
||||
license: bsd-3-clause
|
||||
license: bsd-2-clause
|
||||
---
|
||||
Copyright 2000, Daan Leijen. All rights reserved.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user