diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,6 +1,6 @@ pkgbase = agda-git pkgdesc = A dependently typed functional programming language and proof assistant: development version - pkgver = 2.6.0.r0.g16eb89fb0 + pkgver = 2.5.1.r8151.g4108da695 pkgrel = 1 url = http://wiki.portal.chalmers.se/agda/ arch = x86_64 @@ -11,6 +11,7 @@ pkgbase = agda-git makedepends = ghc depends = ghc-libs depends = haskell-async + depends = haskell-bifunctors depends = haskell-blaze-html depends = haskell-boxes depends = haskell-cpphs @@ -19,11 +20,14 @@ pkgbase = agda-git depends = haskell-edisoncore depends = haskell-edit-distance depends = haskell-equivalence + depends = haskell-filemanip + depends = haskell-aeson depends = haskell-geniplate-mirror depends = haskell-gitrev depends = haskell-hashable depends = haskell-hashtables depends = haskell-ieee754 + depends = haskell-monad-control depends = haskell-murmur-hash depends = haskell-regex-tdfa depends = haskell-strict |