Hackage :: [Package]

Metadata revisions for crux-llvm-0.9.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
-r2 2026-01-15T00:45:03Z ryanglscott ea57c337fc11518d995c6cc5c9ab2d1c7152094a370b578a9c98931e36641495

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

    >=0
    to 
    ==0.7.1

  • Changed the executable 'crux-llvm' component's library dependency on 'crux' from 

    >=0
    to 
    ==0.7.1

  • Changed the executable 'crux-llvm-for-ide' component's library dependency on 'crux' from 

    >=0
    to 
    ==0.7.1

  • Changed the executable 'crux-llvm-svcomp' component's library dependency on 'crux' from 

    >=0
    to 
    ==0.7.1

  • Changed the test suite 'crux-llvm-test' component's library dependency on 'crux' from 

    >=0
    to 
    ==0.7.1
-r1 2025-03-25T19:49:10Z ryanglscott b1f63d9b1398ea0737ae69d3dcdca91b82ce8ea17d2a13d6cc488446a1df6271

  • Changed the library component's library dependency on 'llvm-pretty-bc-parser' from 

    >=0
    to 
    >=0.5
-r0 2025-03-21T23:52:13Z sauclovian_g 0a49905869e34fef1278be1a7215d0bcf9095ccedba0592b0c78b53a03875bfa