Hackage :: [Package]

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 SHA256
-r2 (idris-0.9.14.3-r2) 2014-10-05T18:28:17Z CarterSchonwald c67eb865bfc11bb06ee7e5ada602d9f9a7a706396c7b865b6d663cc7375a9780

  • Changed the library component's library dependency on 'optparse-applicative' from 

    >=0.10
    to 
    >=0.10 && <0.11
-r1 (idris-0.9.14.3-r1) 2014-09-23T07:46:10Z CarterSchonwald 7fb7bc1cbb9c7e9871416203d6d4a34e8803ba6c37ea1db21cf4e70ce18c61eb

  • Changed the library component's library dependency on 'language-java' from 

    >=0.2.6
    to 
    >=0.2.6 && <0.2.7
-r0 (idris-0.9.14.3-r0) 2014-09-02T14:20:13Z EdwinBrady 8fd7e430b6363ec6439cb0788415c1daa3479afde287896bb5554d4978c64d08