Hackage :: [Package]

Metadata revisions for crux-llvm-0.11.0.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
-r1 2026-09-09T15:19:33Z ryanglscott 677790a5621af840ceb3b450f9a094cc11d6d6522fdde6298e00e642ed0edeb6

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

    >=0
    to 
    >=0.8 && <0.9

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

    >=0
    to 
    >=0.8 && <0.9

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

    >=0
    to 
    >=0.8 && <0.9

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

    >=0
    to 
    >=0.8 && <0.9

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

    >=0
    to 
    >=0.8 && <0.9
-r0 2025-11-10T21:46:11Z aschwerdfeger_galois 87057893f8919d455d7e66c0f3809aa51fef4af2db69adbd3d500e396a2f63be