author | Alexandre Buisse <nattfodd@gentoo.org> | |
Sun, 25 Mar 2007 09:46:21 +0000 (09:46 +0000) | ||
committer | Alexandre Buisse <nattfodd@gentoo.org> | |
Sun, 25 Mar 2007 09:46:21 +0000 (09:46 +0000) | ||
commit | 216224a744ec0d9ed2ef05999ce5d1a565c13ec7 | |
tree | 3877aab6534bec92d7e52ab7fb1950008b1d7aed | tree | snapshot |
parent | c5c8e9ee429fec779e7e096681be0e5f2d877faa | commit | diff |
sci-mathematics/agda/ChangeLog | diff | blob | history | |
sci-mathematics/agda/Manifest | diff | blob | history | |
sci-mathematics/agda/metadata.xml | diff | blob | history |