Hackage :: [Package]

Metadata revisions for copilot-language-2.2.0

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
-r1 (copilot-language-2.2.0-r1) 2015-10-23T21:58:44Z LeePike 7ab61bdf2be4f514ad0b5241d32dd28ab67ecfcc865883f6d6811a9b4e7050af

  • Changed the library component's library dependency on 'copilot-core' from 

    ==2.2.0
    to 
    >=2.2.0

  • Changed the library component's library dependency on 'copilot-theorem' from 

    ==0.2
    to 
    >=2.0
-r0 (copilot-language-2.2.0-r0) 2015-10-23T20:44:42Z LeePike 847cc2c03143edff211b41eca69d7dd47ea59682f995df4a1e3c07e02554fa92