Ubuntu
agda package

Branches for Vivid

Name Status Last Modified Last Commit
lp:ubuntu/vivid/agda 2 Mature 2014-10-29 17:33:18 UTC
39. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2014-10-29 17:33:18 UTC

Rebuild for new GHC ABIs.
lp:ubuntu/vivid-proposed/agda 1 Development 2014-10-30 02:24:31 UTC
39. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2014-10-29 17:33:18 UTC

Rebuild for new GHC ABIs.
1 → 2 of 2 results First • Previous • Next • Last