Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
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>
* sci-mathematics/agda: allow ghc-8.10.4Sergei Trofimovich2021-03-151-1/+4
| | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: set USE=-cpphs by defaultSergei Trofimovich2020-12-271-1/+1
| | | | | | | | | USE=cpphs is not compatible to profiling builds. Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/761805 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: drop oldJack Todaro2020-12-172-146/+0
| | | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: bump up to 2.6.1.2Jack Todaro2020-12-173-18/+173
| | | | | Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: drop USE=uhcSergei Trofimovich2020-11-152-8/+2
| | | | | | | uhc is masked for removal. Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: drop oldSergei Trofimovich2020-10-084-292/+0
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: update homepageAlexey Sokolov2020-05-173-6/+6
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
| | | | | Package-Manager: Portage-2.3.83, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
| | | | | | | Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/703418 Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-102-4/+4
| | | | | | | | | | | | | | | | | 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>
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
|
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/agda: bump up to 2.5.2Sergei Trofimovich2017-02-163-0/+151
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-181-1/+2
| | | | | | | Reported-by: Anton Kochkov Bug: https://bugs.gentoo.org/600034 Package-Manager: portage-2.3.2
* sci-mathematics/agda: allow cpphs-1.20Sergei Trofimovich2016-09-111-2/+3
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-222-247/+0
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/agda: allow transformers-compat-0.4Sergei Trofimovich2016-04-032-14/+129
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/agda: drop unused local USE-description: 'epic'Sergei Trofimovich2016-04-031-1/+0
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-036-609/+0
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/agda: fix hastables build failure, bu #574204Sergei Trofimovich2016-02-082-0/+144
| | | | | | | | | | While at it made USE=emacs depend and files optional, fixed agda library reregistration. Reported-by: Toralf Förster Bug: https://bugs.gentoo.org/show_bug.cgi?id=574204 Package-Manager: portage-2.2.27
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
|
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-3/+3
| | | | | | | Force unified quoting in all metadata.xml files since lxml does not preserve original use of single and double quotes. Ensuring unified quoting before the process allows distinguishing the GLEP 67-related metadata.xml changes from unrelated quoting changes.
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-132-0/+117
| | | | | | Gentoo-Bug: 561772 Package-Manager: portage-2.2.26
* sci-mathematics/agda: fix dev-haskell/cpphs dependencyJauhien Piatlicki2016-01-131-0/+119
| | | | Package-Manager: portage-2.2.26
* sci-mathematics/agda: fix .agdai file generation on install, bug #559326Sergei Trofimovich2015-09-271-0/+119
| | | | | | | | | | | As we build dynamically linked binaries now we need to add LD_LIBRARY_PATH to temporary llibrary localtions to generate .agdai files. Reported-by: Toralf Förster Bug: https://bugs.gentoo.org/559326 Package-Manager: portage-2.2.22
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-087-0/+412
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed