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
Commit message (
Expand
)
Author
Age
Files
Lines
*
add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...
Christian Faulhammer
2007-09-23
1
-8
/
+15
*
add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...
Christian Faulhammer
2007-09-23
3
-1
/
+71
*
Reassigning to sci from math-proof.
Christian Heim
2007-07-31
1
-8
/
+18
*
Reassigning to sci from math-proof.
Christian Heim
2007-07-31
2
-2
/
+5
*
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
1
-11
/
+11
*
Added haskell herd and removed myself as maintainer.
Alexandre Buisse
2007-03-25
2
-5
/
+5
*
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...
Alexandre Buisse
2007-03-18
1
-16
/
+16
*
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...
Alexandre Buisse
2007-03-18
4
-22
/
+28
*
Initial commit
Alexandre Buisse
2006-07-12
1
-8
/
+18
*
Initial commit
Alexandre Buisse
2006-07-12
7
-0
/
+132