GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
agda
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/agda: set USE=-cpphs by default
Sergei Trofimovich
2020-12-27
1
-1
/
+1
*
sci-mathematics/agda: drop old
Jack Todaro
2020-12-17
2
-146
/
+0
*
sci-mathematics/agda: bump up to 2.6.1.2
Jack Todaro
2020-12-17
3
-18
/
+173
*
sci-mathematics/agda: drop USE=uhc
Sergei Trofimovich
2020-11-15
2
-8
/
+2
*
sci-mathematics/agda: drop old
Sergei Trofimovich
2020-10-08
4
-292
/
+0
*
sci-mathematics/agda: update homepage
Alexey Sokolov
2020-05-17
3
-6
/
+6
*
sci-mathematics/agda: allow multiple revisions of agda-stdlib
Sergei Trofimovich
2019-12-24
3
-3
/
+3
*
sci-mathematics/agda: allow edisoncore-1.3.2
Sergei Trofimovich
2019-12-23
1
-0
/
+150
*
sci-mathematics/agda: Update virtual/emacs dependency.
Ulrich Müller
2019-12-20
2
-4
/
+4
*
*/*: Inline mirror://hackage and update URIs
Michał Górny
2019-11-10
2
-4
/
+4
*
sci-mathematics: Update Manifest hashes.
Ulrich Müller
2017-12-10
1
-2
/
+2
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
2
-2
/
+0
*
sci-mathematics/agda: bump up to 2.5.2
Sergei Trofimovich
2017-02-16
3
-0
/
+151
*
sci-mathematics/agda: allow alex-3.2, bug #600034
Sergei Trofimovich
2016-11-18
1
-1
/
+2
*
sci-mathematics/agda: allow cpphs-1.20
Sergei Trofimovich
2016-09-11
1
-2
/
+3
*
sci-mathematics/agda: drop old
Sergei Trofimovich
2016-04-22
2
-247
/
+0
*
sci-mathematics/agda: allow transformers-compat-0.4
Sergei Trofimovich
2016-04-03
2
-14
/
+129
*
sci-mathematics/agda: drop unused local USE-description: 'epic'
Sergei Trofimovich
2016-04-03
1
-1
/
+0
*
sci-mathematics/agda: drop old
Sergei Trofimovich
2016-04-03
6
-609
/
+0
*
sci-mathematics/agda: fix hastables build failure, bu #574204
Sergei Trofimovich
2016-02-08
2
-0
/
+144
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
1
-2
/
+2
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
1
-2
/
+8
*
Unify quoting in metadata.xml files for machine processing
Michał Górny
2016-01-24
1
-3
/
+3
*
sci-mathematics/{agda,agda-stdlib}: version bump
Jauhien Piatlicki
2016-01-13
2
-0
/
+117
*
sci-mathematics/agda: fix dev-haskell/cpphs dependency
Jauhien Piatlicki
2016-01-13
1
-0
/
+119
*
sci-mathematics/agda: fix .agdai file generation on install, bug #559326
Sergei Trofimovich
2015-09-27
1
-0
/
+119
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
1
-1
/
+1
*
Use https by default
Justin Lecher
2015-08-24
1
-1
/
+1
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08
7
-0
/
+412