| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-09-16 | Agda: Upgrading from 2.5.2 to 2.5.3 | Sean Whitton | 1 | -1/+0 |
| 2017-07-10 | agda: bump ieee754 bounds. | Gianfranco Costamagna | 1 | -0/+1 |
| 2017-07-06 | agda: drop old patches, upstream | Gianfranco Costamagna | 1 | -4/+0 |
| 2017-06-21 | agda: fix build with new ghc 8.0.2 | Gianfranco Costamagna | 1 | -0/+2 |
| 2016-10-20 | Agda: patch to build with newer EdisonAPI | Clint Adams | 1 | -0/+1 |
| 2016-06-10 | add patch adding agda2-mode-pkg.el | Sean Whitton | 1 | -0/+1 |
 |
index : DHG_packages | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |