Metadata revisions for minisat-0.1.2

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.2-r1) 2024-02-26T15:58:40Z AndreasAbel 50933c8b7e3baf193e2145bd1966884c1fd1eacc40a602b656026ff292cccbba
  • Changed the library component's library dependency on 'async' from


-r0 (minisat-0.1.2-r0) 2015-07-03T10:15:09Z JeroenBransen 1ab39be6c6cdbf35f6c98f64ddb39bf078e77814c0e086d73a14ff2e703a8942