Metadata revisions for idris-0.9.14.3

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User Changes
-r2 Sun Oct 5 18:28:17 UTC 2014 CarterSchonwald
  • Changed the library component's library dependency on 'optparse-applicative' from

    >=0.10
    to
    >=0.10 && <0.11

-r1 Tue Sep 23 07:46:10 UTC 2014 CarterSchonwald
  • Changed the library component's library dependency on 'language-java' from

    >=0.2.6
    to
    >=0.2.6 && <0.2.7

-r0 Tue Sep 2 14:20:13 UTC 2014 EdwinBrady