Hackage :: [Package]

Metadata revisions for toysolver-0.5.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
-r7 (toysolver-0.5.0-r7) 2021-11-18T13:21:58Z sjakobi 1d5b78ad3c783ccc8de7f8638af79e84e830dd010c7a6efb693a316688cb7cda

  • Changed the library component's library dependency on 'log-domain' from 

    >=0
    to 
    <0.13
-r6 (toysolver-0.5.0-r6) 2021-11-18T03:33:16Z sjakobi 141a613828bad77e67456f65fb0c3041eafbe42d12d8abfbf73029d1e0697359

  • Changed the library component's library dependency on 'megaparsec' from 

    >=4.4.0 && <7
    to 
    >=4.4.0 && <6.4
-r5 (toysolver-0.5.0-r5) 2021-11-18T03:22:03Z sjakobi addec357113bd26bbbab5c184c5a74ef61dd377908f3c2708a362e7ebd90d5b4

  • Changed the library component's library dependency on 'megaparsec' from 

    >=4 && <7
    to 
    >=4.4.0 && <7
-r4 (toysolver-0.5.0-r4) 2021-11-18T02:07:04Z sjakobi 5af87159280a435c4af58cd48adc6a06853b610991fe8c19d6ed9854796edd73

  • Changed the library component's library dependency on 'base' from 

    >=4.8 && <5
    to 
    >=4.8 && <4.11
-r3 (toysolver-0.5.0-r3) 2021-11-18T01:34:12Z sjakobi b98af7ad208d19819f23e1f1d4c6e712a78e46bec01785f773be795ccc6a7395

  • Changed the library component's library dependency on 'base' from 

    >=4.7 && <5
    to 
    >=4.8 && <5
-r2 (toysolver-0.5.0-r2) 2019-10-13T01:29:23Z MasahiroSakai cd8fad0774cc3cf788cb3f18fec5196725f579be643fccf660e97aa5230387b3

  • Changed the library component's library dependency on 'lattices' from 

    >=0
    to 
    <2
-r1 (toysolver-0.5.0-r1) 2019-04-09T03:23:12Z MasahiroSakai fafe29fa3d946f5553bfbc4e5b8b547313b9c7690a30fefcf67c1e5bcba10ba7

  • Changed category from 

    Algorithms, Optimisation, Optimization, Theorem Provers, Constraints, Logic, Formal Methods
    to 
    Algorithms, Optimisation, Optimization, Theorem Provers, Constraints, Logic, Formal Methods, SMT
-r0 (toysolver-0.5.0-r0) 2017-10-09T23:49:36Z MasahiroSakai 5ccc82cfedb192f1bc8a737e3b3e03c31a88f16ee253db96019b353d590209ca