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
:
archive/repo/gentoo-2.git
RELEASE-1_4
import-1.1.1
master
Another conversion of the historical gentoo-x86 ebuild repository
Ulrich Müller <ulm@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
agda
/
ChangeLog
Commit message (
Expand
)
Author
Age
Files
Lines
*
Bump agda to 2.4.2.2-r1
Mark Wright
2014-12-14
1
-1
/
+7
*
Bump agda to 2.4.0.1
Mark Wright
2014-07-02
1
-1
/
+6
*
Drop old.
Sergei Trofimovich
2014-02-25
1
-2
/
+8
*
Bump agda to 2.3.2.2-r1
Mark Wright
2013-12-10
1
-1
/
+6
*
Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f...
Mark Wright
2013-10-19
1
-1
/
+6
*
Patch agda 2.3.2.1 for haskell-src-exts 1.14
Mark Wright
2013-09-13
1
-1
/
+7
*
Drop old.
Sergei Trofimovich
2013-06-19
1
-1
/
+4
*
Loosen hashtables and quickcheck deps in agda 2.3.2-r5
Mark Wright
2013-04-02
1
-2
/
+7
*
Loosen binary dep, patch for hashable 1.2
Mark Wright
2012-12-28
1
-1
/
+7
*
Bump agda to 2.3.2
Mark Wright
2012-11-18
1
-1
/
+6
*
Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...
Mark Wright
2012-11-18
1
-1
/
+8
*
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
Alexander Vershilov
2012-09-12
1
-2
/
+5
*
Add virtual/emacs and app-emacs/haskell-mode deps
Mark Wright
2012-06-02
1
-1
/
+5
*
agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps
Mark Wright
2012-04-13
1
-1
/
+5
*
Fix agda 2.3.0.1 build with mtl-2.1
Mark Wright
2012-04-13
1
-1
/
+5
*
Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0
Mark Wright
2012-04-01
1
-1
/
+5
*
Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...
Mark Wright
2012-03-25
1
-1
/
+8
*
Bump agda to 2.3.0 bug #349460
Mark Wright
2012-01-23
1
-2
/
+8
*
Make sure the agda library gets registered with ghc.
Lennart Kolmodin
2010-11-20
1
-1
/
+8
*
Version bump, ebuild originally from markusle (bug #303973). Also forced emac...
Sebastien Fabbro
2010-09-14
1
-2
/
+10
*
Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...
Sebastien Fabbro
2008-12-05
1
-1
/
+8
*
Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...
Markus Dittrich
2008-07-26
1
-2
/
+8
*
Drop virtual/ghc in favour of dev-lang/ghc
Duncan Coutts
2007-10-31
1
-1
/
+5
*
add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...
Christian Faulhammer
2007-09-23
1
-1
/
+8
*
Reassigning to sci from math-proof.
Christian Heim
2007-07-31
1
-1
/
+4
*
Added haskell herd and removed myself as maintainer.
Alexandre Buisse
2007-03-25
1
-1
/
+4
*
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...
Alexandre Buisse
2007-03-18
1
-2
/
+9
*
Initial commit
Alexandre Buisse
2006-07-12
1
-0
/
+12