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/historical.git
master
Gentoo ebuild repository HISTORICAL read-only tree
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
*
Make sure the agda library gets registered with ghc.
Lennart Kolmodin
2010-11-20
3
-8
/
+15
*
Version bump, ebuild originally from markusle (bug #303973). Also forced emac...
Sebastien Fabbro
2010-09-14
6
-28
/
+128
*
Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p...
Sebastien Fabbro
2008-12-05
5
-78
/
+42
*
Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag...
Markus Dittrich
2008-07-26
5
-32
/
+95
*
Remove all old-style digests from the system and regen the Manifest files.
Robin H. Johnson
2008-01-31
3
-40
/
+0
*
Drop virtual/ghc in favour of dev-lang/ghc
Duncan Coutts
2007-10-31
4
-20
/
+24
*
add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...
Christian Faulhammer
2007-09-23
4
-9
/
+86
*
Reassigning to sci from math-proof.
Christian Heim
2007-07-31
3
-10
/
+23
*
whitespace
Michael Sterrett
2007-07-13
1
-14
/
+4
*
whitespace
Michael Sterrett
2007-07-13
1
-2
/
+1
*
Added haskell herd and removed myself as maintainer.
Alexandre Buisse
2007-03-25
3
-16
/
+16
*
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...
Alexandre Buisse
2007-03-18
5
-38
/
+44
*
Initial commit
Alexandre Buisse
2006-07-12
7
-0
/
+142