Hackage :: [Package]

Metadata revisions for crux-llvm-0.10

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-01-15T00:47:03Z ryanglscott 30094d86c3a7e3da20736874c92aea6ca3bcf6acdabd4d2101dc7ab575a5a5bd

  • 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
-r0 2025-03-25T21:32:41Z ryanglscott d70b84239c7722cb4f33dcf6c9e8c4edce7720016089b392970913db1e9e6070