Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Update Agda (latest version 2.2.10) #45

Closed
magthe opened this Issue February 20, 2011 · 1 comment

2 participants

Magnus Therning Nicolas Pouillard
Magnus Therning
Owner
Failed to satisfy the following dependencies for Agda:
  QuickCheck >=2.3 && <2.5
  haskeline >=0.6.3.2 && <0.7
  haskell-src-exts >=1.9.6 && <1.10
  mtl ==2.0.*

This is a random bag of dependencies that we can't satisfy at the moment:

  • QuickCheck and mtl are in HP at earlier versions
  • haskell-src-exts is already in [haskell], but at a later version
  • haskeline is in [extra]
Nicolas Pouillard
Collaborator
np commented March 18, 2011

Agda has been updated.

Two minor changes were needed though (syb and haskell-src-exts)

Nicolas Pouillard np closed this March 18, 2011
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.