Hackage :: [Package]

Metadata revisions for crux-llvm-0.13

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 2026-09-14T13:33:49Z ryanglscott 6e7ad49028354226f31072c032f0d9302ae5b530f9161d2ee0112505f6815389

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

    >=0
    to 
    >=0.10 && <0.11

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

    >=0
    to 
    >=0.10 && <0.11

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

    >=0
    to 
    >=0.10 && <0.11

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

    >=0
    to 
    >=0.10 && <0.11

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

    >=0
    to 
    >=0.10 && <0.11
-r0 2026-09-11T16:17:21Z aschwerdfeger_galois 6f43389926a2f937268596e468fbe88029d815fa9e48e14e8814e8219b40557a