Metadata revisions for minisat-0.1

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 (minisat-0.1-r1) 2024-02-26T15:58:41Z AndreasAbel f137472d08c11f498684d17720946c2bb3426f281a78ac0ea764bef28fc4ef2f
  • Changed the library component's library dependency on 'async' from


-r0 (minisat-0.1-r0) 2014-06-20T08:43:08Z JeroenBransen 274456cf1b03c6d25aed9b969a4874ff06b212cbe1d63abef9b8557df8e6dd49