Hackage :: [Package]

Metadata revisions for crux-llvm-0.9

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:29:38Z ryanglscott d8f2cb49623e703902c84ce5b6cb3697f592268aeb5e220e51f38ccadcd94a9e

  • 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 2024-08-30T20:06:10Z mccleeary f3a41f8321f3f120aa98a22d934381e98d05da8b5642fbbb504f3bf427fc8077