Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-haskell/logict-state
Commit message (Collapse)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-haskell/logict-state: build with ghc-8.8Jack Todaro2020-09-092-2/+68
| | | | | | | | Closes: https://bugs.gentoo.org/736098 Package-Manager: Portage-3.0.6, Repoman-3.0.1 Signed-off-by: Jack Todaro <solpeth@posteo.org> Closes: https://github.com/gentoo/gentoo/pull/17478 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-haskell/logict-state: remove oldJack Todaro2020-08-282-28/+0
| | | | | | Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-haskell/logict-state: bump up to 0.1.0.5Sergei Trofimovich2019-12-142-0/+27
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-101-2/+2
| | | | | | | | | | | | | | | | | This change inlines mirror://hackage in all ebuilds, and updates URIs to the modern form (old URIs redirect to that). The change has been made using the following command: find -name '*.ebuild' -exec sed -r -i \ -e 's@mirror://hackage/@https://hackage.haskell.org/@g' \ -e 's@https://hackage.haskell.org/packages/archive/([^/]*)/([^/]*)/@https://hackage.haskell.org/package/\1-\2/@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{PV}@${P}@g' \ -e '/hackage\.haskell\.org/s@\$\{MY_PN}-\$\{PV}@${MY_P}@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{MY_PV}@${MY_P}@g' \ {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-haskell: refresh ManifestsSergei Trofimovich2017-11-241-1/+1
| | | | Package-Manager: Portage-2.3.16, Repoman-2.3.6
* Globally add missing remote ID references to metadata.xmlJustin Lecher2017-04-291-1/+4
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2Sergei Trofimovich2017-02-163-0/+40
Library for logic programming based on haskell package logict Package-Manager: Portage-2.3.3, Repoman-2.3.1