gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dependent-sum

Dependent sum type

Screenshots

  • dependent-sum-0.7.1.0-r1
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell
  • dependent-sum-0.6.2.0
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell
  • dependent-sum-0.4
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell

ChangeLog

commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100

*/*: fix https->https in metadatd dtd

Newer hackport fixes this (in git, not tagged yet).

Signed-off-by: Sam James <sam@gentoo.org>

commit 1b8879d9e576cb844449de5df5d2e46cc1733140
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Jul 25 11:56:30 2021 +0100

dev-haskell/dependent-sum: update to EAPI=8

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1ebb54ab1836d4a8695fed2275f8a175cca01a54
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Jun 29 19:20:42 2021 +1000

dev-haskell/dependent-sum: Loosen sum dep

Package-Manager: Portage-3.0.19, Repoman-3.0.3
Signed-off-by: Mark Wright <gienah@gentoo.org>

commit 2c3d128f167ed1b756ce5d944bbcd7213ab5a924
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Tue Feb 16 23:55:34 2021 -0500

dev-haskell/dependent-sum: remove redundant longdescription from metadata

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>

commit c1bc5686ff2b52464deb240a1d775759ce62c7f7
Author: Sergey Alirzaev <l29ah@cock.li>
Date: Sun Jul 12 16:45:18 2020 +0300

dev-haskell/dependent-sum: bump up to 0.6.2.0

commit 32bc050add0fb4bec441ad8023453173371ca2bf
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Mon Dec 16 14:50:38 2019 -0500

dev-haskell/dependent-sum: drop old

Drop oldest

Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>

commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000

*/*: Inline mirror://hackage and update URIs

Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 97bd2e0760d3e59548c47bc393270b23234a4e36
Author: Mark Wright <gienah@gentoo.org>
Date: Wed Oct 16 17:37:36 2019 +1100

dev-haskell/dependent-sum: Bump to 0.6.2.0

Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Mark Wright <gienah@gentoo.org>

commit a0e4fa0cec18a7bdb39721d9d3d13b42fd6015d4
Author: hololeap <hololeap@gmail.com>
Date: Sat Sep 15 15:28:35 2018 -0600

dev-haskell/dependent-sum: Bump to 0.4

commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000

refresh Manifests

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000

follow ::gentoo in removing '# $Id$' headers

Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 10692fc7f947af97de87e69ac3db108770ae601f
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Nov 19 21:54:12 2016 +0000

dev-haskell/dependent-sum: tweak for ghc-8.0.2_rc1

Package-Manager: portage-2.3.2

commit 8740a1de4214a7150bb6ede184c5fc3a38c98c0e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed May 18 09:22:12 2016 +0100

dev-haskell/dependent-sum: drop old

Package-Manager: portage-2.3.0_rc1

commit 6df7cd3fcf51fdb01219f09c6cd65ec75dba2bfe
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed May 18 09:12:33 2016 +0100

dev-haskell/dependent-sum: bump up to 0.3.2.2

Package-Manager: portage-2.3.0_rc1

commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500

Update metadata.xml for GLEP 67

commit 085f765110f6efa5e3bdb6684985ec410cd21972
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Sep 19 09:43:38 2015 +0100

dev-haskell/dependent-sum: bump up to 0.3.2.1

Package-Manager: portage-2.2.20

commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400

fix headers and copyright lines

commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100

convert '# $Header: ' lines to '# $Id$'

The change was adopted when ::gentoo switched to git.

https://github.com/trofi/gentoo-qa/blob/master/check_header.sh

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300

metadata.xml: from <maintainer> field in favour of <herd> one

Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 7a3f74e5e84b35154e3bb052990e06098fd48734
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jun 26 22:40:17 2014 +0300

dev-haskell/dependent-sum: bump up to 0.2.1.0

Package-Manager: portage-2.2.10_p15

commit 50ed1a591fab18f98c50a1e1564703936f771870
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Mar 8 10:31:45 2014 +0300

dev-haskell/dependent-sum: bump up to 0.2.0.2

Package-Manager: portage-2.2.8_p53

commit 530abe98fd9415e15b2304161c959428e15a237d
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Wed Aug 21 10:24:01 2013 +0400

dev-haskell/dependent-sum: bump up to 0.2.0.1

Signed-off-by: Alexander Vershilov <alexander.vershilov@gmail.com>