Metadata revisions for meldable-heap-2.0.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
-r1 2018-05-19T04:30:47Z JimApple 678a030f81d89eb8bf3e9fd0077623842d897fe823d972d9da357f5b4fc8f1c5
  • Changed maintainer from

    http://code.google.com/p/priority-queues/
    to
    JimApple

  • Changed homepage from

    http://code.google.com/p/priority-queues/
    to
    https://github.com/jbapple/priority-queues

  • Changed description from

    A heap is a container supporting the insertion of elements and the extraction of the minimum element. This library additionally supports melding two heaps. This library models the implementation of asymptotically optimal purely functional heaps given by Brodal and Okasaki in their paper \"Optimal Purely Functional Priority Queues\". It has been proved correct using the Coq proof assistant. The proofs are included in the Cabal package.
    
    A description of the differences between versions of this package is available at <http://priority-queues.googlecode.com/hg/brodal-okasaki/cabal/CHANGELOG>.
    to
    A heap is a container supporting the insertion of elements and the extraction of the minimum element. This library additionally supports melding two heaps. This library models the implementation of asymptotically optimal purely functional heaps given by Brodal and Okasaki in their paper \"Optimal Purely Functional Priority Queues\". It has been proved correct using the Coq proof assistant. The proofs are included in the Cabal package.
    
    A description of the differences between versions of this package is available at <https://github.com/jbapple/priority-queues/blob/master/brodal-okasaki/cabal/CHANGELOG>.

-r0 2010-05-23T22:38:44Z JimApple 0007f6089ab19f9b2e8b66bdad96957b6d87370c91fd7028c160ebcf99474ea3