Ubuntu
haskell-binary package

Branches for Vivid

Name Status Last Modified Last Commit
lp:ubuntu/vivid/haskell-binary 2 Mature 2014-10-25 21:41:34 UTC
13. Re-add a dedicated binary package. Ag...

Author: Joachim Breitner
Revision Date: 2014-07-26 14:12:53 UTC

Re-add a dedicated binary package. Agda needs a newer binary than the
version that comes with GHC.
1 → 1 of 1 result First • Previous • Next • Last