Hackage :: [Package]

Metadata revisions for crux-llvm-0.12

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-09T15:19:51Z ryanglscott e6dc85955e9c53a4edd5c70c8260b35f55079fb6ffb9d6ff31b1021894387a6d

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

    >=0
    to 
    >=0.9 && <0.10

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

    >=0
    to 
    >=0.9 && <0.10

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

    >=0
    to 
    >=0.9 && <0.10

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

    >=0
    to 
    >=0.9 && <0.10

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

    >=0
    to 
    >=0.9 && <0.10
-r0 2026-01-29T20:44:25Z aschwerdfeger_galois 61dd515d3ec38eff69da7c6c130b207bded5b2d489d84a7e4cb97ba502950961