mirror of
https://github.com/maciej-bendkowski/generic-boltzmann-brain.git
synced 2024-08-17 08:30:30 +03:00
Bump GHC version to 9.0.2
This commit is contained in:
parent
629e74dde4
commit
b41de9b851
@ -1,6 +1,6 @@
|
||||
cabal-version: 2.0
|
||||
|
||||
-- This file has been generated from package.yaml by hpack version 0.34.4.
|
||||
-- This file has been generated from package.yaml by hpack version 0.34.7.
|
||||
--
|
||||
-- see: https://github.com/sol/hpack
|
||||
|
||||
@ -29,6 +29,8 @@ library
|
||||
Data.Boltzmann
|
||||
other-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
autogen-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
hs-source-dirs:
|
||||
api
|
||||
default-extensions:
|
||||
@ -61,6 +63,8 @@ library generic-boltzmann-brain-internal
|
||||
Data.Boltzmann.System.TH
|
||||
other-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
autogen-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
hs-source-dirs:
|
||||
internal
|
||||
default-extensions:
|
||||
@ -94,6 +98,8 @@ test-suite generic-boltzmann-brain-test
|
||||
Test.Samplers.Tree
|
||||
Test.Utils
|
||||
Paths_generic_boltzmann_brain
|
||||
autogen-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
hs-source-dirs:
|
||||
test
|
||||
default-extensions:
|
||||
@ -127,6 +133,8 @@ benchmark generic-boltzmann-brain
|
||||
other-modules:
|
||||
Lambda
|
||||
Paths_generic_boltzmann_brain
|
||||
autogen-modules:
|
||||
Paths_generic_boltzmann_brain
|
||||
hs-source-dirs:
|
||||
bench
|
||||
default-extensions:
|
||||
|
@ -20,7 +20,13 @@
|
||||
resolver:
|
||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
|
||||
|
||||
compiler: ghc-9.0.1
|
||||
compiler: ghc-9.0.2
|
||||
|
||||
setup-info:
|
||||
ghc:
|
||||
linux64-tinfo6:
|
||||
9.0.2:
|
||||
url: "https://downloads.haskell.org/ghc/9.0.2/ghc-9.0.2a-x86_64-fedora27-linux.tar.xz"
|
||||
|
||||
# User packages to be built.
|
||||
# Various formats can be used as shown in the example below.
|
||||
|
Loading…
Reference in New Issue
Block a user