Metadata revisions for minisat-0.1.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 (minisat-0.1.3-r1) 2024-02-26T15:58:40Z AndreasAbel 73b390359d562bc54a6c3ffdf823844bc0cbdf3b4db244b368c8be591d18b7c0
  • Changed the library component's library dependency on 'async' from


-r0 (minisat-0.1.3-r0) 2021-02-23T19:34:56Z JeroenBransen 3654d6c19268c2ad1e5e15314e399ce153214ffd3da2404e1efacfa5297dc6c7