| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | agda-executable must be rebuilt when agda is upgraded |   Mark Wright | 2013-09-13 | 1 | -1/+12 |
| | | | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | agda-executable must be rebuilt when agda is upgraded | Mark Wright | 2013-09-13 | 2 | -1/+42 |
| | | | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Remove version with already removed dependencies |   Patrick Lauer | 2013-06-20 | 1 | -13/+1 |
| | | | | | (Portage version: 2.2.0_alpha181/cvs/Linux x86_64, unsigned Manifest commit) | ||||
| * | Remove version with already removed dependencies | Patrick Lauer | 2013-06-20 | 2 | -34/+5 |
| | | | | | (Portage version: 2.2.0_alpha181/cvs/Linux x86_64, unsigned Manifest commit) | ||||
| * | Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2 | Mark Wright | 2012-11-18 | 1 | -2/+13 |
| | | | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2 | Mark Wright | 2012-11-18 | 2 | -1/+43 |
| | | | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to ↵ |   Alexander Vershilov | 2012-09-12 | 1 | -16/+6 |
| | | | | | | | mirror://hackage (Portage version: 2.2.0_alpha125/cvs/Linux x86_64, unsigned Manifest commit) | ||||
| * | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to ↵ | Alexander Vershilov | 2012-09-12 | 3 | -6/+10 |
| | | | | | | | mirror://hackage (Portage version: 2.2.0_alpha125/cvs/Linux x86_64) | ||||
| * | Add agda-executable, Command-line program for type-checking and compiling ↵ | Mark Wright | 2012-03-25 | 1 | -0/+16 |
| | | | | | | | Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Add agda-executable, Command-line program for type-checking and compiling ↵ | Mark Wright | 2012-03-25 | 4 | -0/+89 |
| Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64) | |||||
GitWeb