Branches for Sid
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
| lp:debian/agda-bin | 1 Development | 2012-03-12 14:31:48 UTC |
7.
New upstream release
Author:
Joachim Breitner
New upstream release |
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
