Metadata revisions for crux-llvm-0.8

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-14T23:04:13Z ryanglscott b63cf48898f135ac6290a267df931b065f3559993e44500dfdd1f5a8c65ae6a1
  • Changed the library component's library dependency on 'crucible' from

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.6

  • Changed the library component's library dependency on 'crucible-symio' from

    >=0
    to
    ==0.1

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.6

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

    >=0
    to
    ==0.1

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.6

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

    >=0
    to
    ==0.1

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.6

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

    >=0
    to
    ==0.1

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.7

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

    >=0
    to
    ==0.6

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

    >=0
    to
    ==0.1

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

    >=0
    to
    ==0.7

-r0 2024-02-05T21:14:24Z ryanglscott 5dc5c819eb8dbd61a5a8bc3b754191374d85d86d40a0407e63f58a1b74545429