Skip to content

Commit

Permalink
Merge pull request #1564 from GaloisInc/what4-1.5
Browse files Browse the repository at this point in the history 
Allow building with `what4-1.5`
  • Loading branch information
@RyanGlScott
RyanGlScott authored Aug 21, 2023
2 parents cd5d006 + 7d41523 commit e724119
Show file tree
Hide file tree
Showing 4 changed files with 60 additions and 58 deletions.
38 changes: 19 additions & 19 deletions cabal.GHC-8.10.7.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ constraints: any.BoundedChan ==1.0.3.0,
any.GraphSCC ==1.0.4,
GraphSCC -use-maps,
any.HUnit ==1.6.2.0,
any.MemoTrie ==0.6.10,
any.MemoTrie ==0.6.11,
MemoTrie -examples,
any.OneTuple ==0.3.1,
any.OneTuple ==0.4.1.1,
any.Only ==0.1,
any.QuickCheck ==2.14.3,
QuickCheck -old-random +templatehaskell,
Expand Down Expand Up @@ -35,9 +35,9 @@ constraints: any.BoundedChan ==1.0.3.0,
attoparsec -developer,
any.auto-update ==0.1.6,
any.base ==4.14.3.0,
any.base-compat ==0.12.2,
any.base-compat-batteries ==0.12.2,
any.base-orphans ==0.8.8.2,
any.base-compat ==0.12.3,
any.base-compat-batteries ==0.12.3,
any.base-orphans ==0.9.0,
any.base64-bytestring ==1.2.1.0,
any.basement ==0.0.16,
any.bifunctors ==5.6.1,
Expand All @@ -64,7 +64,7 @@ constraints: any.BoundedChan ==1.0.3.0,
cereal -bytestring-builder,
any.chimera ==0.3.3.0,
chimera +representable,
any.clock ==0.8.3,
any.clock ==0.8.4,
clock -llvm,
any.code-page ==0.2.1,
any.colour ==2.3.6,
Expand Down Expand Up @@ -96,7 +96,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.data-fix ==0.3.2,
any.deepseq ==1.4.4.0,
any.dense-linear-algebra ==0.1.0.0,
any.deriving-compat ==0.6.3,
any.deriving-compat ==0.6.5,
deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11,
any.directory ==1.3.6.0,
any.distributive ==0.6.2.1,
Expand All @@ -111,7 +111,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.extensible-exceptions ==0.1.1.4,
any.extra ==1.7.14,
any.fast-logger ==3.2.2,
any.filelock ==0.1.1.6,
any.filelock ==0.1.1.7,
any.filepath ==1.4.2.1,
any.fingertree ==0.1.5.0,
any.foldable1-classes-compat ==0.1,
Expand All @@ -122,7 +122,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-prim ==0.6.1,
any.gitrev ==1.3.1,
any.happy ==1.20.1.1,
any.hashable ==1.4.2.0,
any.hashable ==1.4.3.0,
hashable +integer-gmp -random-initial-seed,
any.hashtables ==1.3.1,
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
Expand All @@ -145,7 +145,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.integer-logarithms ==1.0.3.1,
integer-logarithms -check-bounds +integer-gmp,
any.integer-roots ==1.0.2.0,
any.invariant ==0.6.1,
any.invariant ==0.6.2,
any.io-streams ==1.5.2.2,
io-streams +network -nointeractivetests +zlib,
any.iproute ==1.7.12,
Expand All @@ -156,7 +156,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.language-c99-util ==0.2.0,
any.lens ==5.2.2,
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
any.libBF ==0.6.5.1,
any.libBF ==0.6.6,
libBF -system-libbf,
any.libffi ==0.2.1,
libffi +ghc-bundled-libffi,
Expand Down Expand Up @@ -186,7 +186,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
any.parallel ==3.2.2.0,
any.parameterized-utils ==2.1.6.0,
any.parameterized-utils ==2.1.7.0,
parameterized-utils +unsafe-operations,
any.parsec ==3.1.14.0,
any.parser-combinators ==1.3.0,
Expand Down Expand Up @@ -240,8 +240,8 @@ constraints: any.BoundedChan ==1.0.3.0,
any.streaming-commons ==0.2.2.6,
streaming-commons -use-bytestring-builder,
any.strict ==0.5,
any.syb ==0.7.2.3,
any.tagged ==0.8.7,
any.syb ==0.7.2.4,
any.tagged ==0.8.8,
tagged +deepseq +transformers,
any.tasty ==1.4.3,
tasty +unix,
Expand All @@ -258,15 +258,15 @@ constraints: any.BoundedChan ==1.0.3.0,
any.text-short ==0.1.5,
text-short -asserts,
any.tf-random ==0.5,
any.th-abstraction ==0.4.5.0,
any.th-lift ==0.8.3,
any.th-abstraction ==0.5.0.0,
any.th-lift ==0.8.4,
any.th-lift-instances ==0.1.20,
any.these ==1.2,
any.time ==1.9.3,
any.time-compat ==1.9.6.1,
time-compat -old-locale,
any.time-manager ==0.0.0,
any.tls ==1.7.0,
any.tls ==1.7.1,
tls +compat -hans +network,
any.tls-session-manager ==0.0.4,
any.transformers ==0.5.6.2,
Expand Down Expand Up @@ -307,7 +307,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.warp ==3.3.28,
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
any.warp-tls ==3.4.0,
any.what4 ==1.4,
any.what4 ==1.5,
what4 -drealtestdisable -solvertests -stptestdisable,
any.witherable ==0.4.2,
any.word8 ==0.1.3,
Expand All @@ -316,4 +316,4 @@ constraints: any.BoundedChan ==1.0.3.0,
any.zlib ==0.6.3.0,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2023-07-10T01:00:51Z
index-state: hackage.haskell.org 2023-08-12T09:08:58Z
39 changes: 20 additions & 19 deletions cabal.GHC-9.2.8.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.GraphSCC ==1.0.4,
GraphSCC -use-maps,
any.HUnit ==1.6.2.0,
any.MemoTrie ==0.6.10,
any.MemoTrie ==0.6.11,
MemoTrie -examples,
any.OneTuple ==0.4.1.1,
any.Only ==0.1,
Expand All @@ -22,7 +22,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ansi-wl-pprint ==0.6.9,
ansi-wl-pprint -example,
any.appar ==0.1.8,
any.arithmoi ==0.12.1.0,
any.arithmoi ==0.13.0.0,
any.array ==0.5.4.0,
any.asn1-encoding ==0.9.6,
any.asn1-parse ==0.9.5,
Expand All @@ -35,9 +35,9 @@ constraints: any.BoundedChan ==1.0.3.0,
attoparsec -developer,
any.auto-update ==0.1.6,
any.base ==4.16.4.0,
any.base-compat ==0.12.2,
any.base-compat-batteries ==0.12.2,
any.base-orphans ==0.8.8.2,
any.base-compat ==0.12.3,
any.base-compat-batteries ==0.12.3,
any.base-orphans ==0.9.0,
any.base64-bytestring ==1.2.1.0,
any.basement ==0.0.16,
any.bifunctors ==5.6.1,
Expand All @@ -64,7 +64,7 @@ constraints: any.BoundedChan ==1.0.3.0,
cereal -bytestring-builder,
any.chimera ==0.3.3.0,
chimera +representable,
any.clock ==0.8.3,
any.clock ==0.8.4,
clock -llvm,
any.code-page ==0.2.1,
any.colour ==2.3.6,
Expand Down Expand Up @@ -96,7 +96,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.data-fix ==0.3.2,
any.deepseq ==1.4.6.1,
any.dense-linear-algebra ==0.1.0.0,
any.deriving-compat ==0.6.3,
any.deriving-compat ==0.6.5,
deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11,
any.directory ==1.3.6.2,
any.distributive ==0.6.2.1,
Expand All @@ -111,7 +111,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.extensible-exceptions ==0.1.1.4,
any.extra ==1.7.14,
any.fast-logger ==3.2.2,
any.filelock ==0.1.1.6,
any.filelock ==0.1.1.7,
any.filepath ==1.4.2.2,
any.fingertree ==0.1.5.0,
any.foldable1-classes-compat ==0.1,
Expand All @@ -123,7 +123,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-prim ==0.8.0,
any.gitrev ==1.3.1,
any.happy ==1.20.1.1,
any.hashable ==1.4.2.0,
any.hashable ==1.4.3.0,
hashable +integer-gmp -random-initial-seed,
any.hashtables ==1.3.1,
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
Expand All @@ -142,11 +142,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ieee754 ==0.8.0,
any.indexed-traversable ==0.1.2.1,
any.indexed-traversable-instances ==0.1.1.2,
any.infinite-list ==0.1,
any.integer-gmp ==1.1,
any.integer-logarithms ==1.0.3.1,
integer-logarithms -check-bounds +integer-gmp,
any.integer-roots ==1.0.2.0,
any.invariant ==0.6.1,
any.invariant ==0.6.2,
any.io-streams ==1.5.2.2,
io-streams +network -nointeractivetests +zlib,
any.iproute ==1.7.12,
Expand All @@ -157,7 +158,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.language-c99-util ==0.2.0,
any.lens ==5.2.2,
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
any.libBF ==0.6.5.1,
any.libBF ==0.6.6,
libBF -system-libbf,
any.libffi ==0.2.1,
libffi +ghc-bundled-libffi,
Expand Down Expand Up @@ -187,7 +188,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
any.parallel ==3.2.2.0,
any.parameterized-utils ==2.1.6.0,
any.parameterized-utils ==2.1.7.0,
parameterized-utils +unsafe-operations,
any.parsec ==3.1.15.0,
any.parser-combinators ==1.3.0,
Expand Down Expand Up @@ -241,8 +242,8 @@ constraints: any.BoundedChan ==1.0.3.0,
any.streaming-commons ==0.2.2.6,
streaming-commons -use-bytestring-builder,
any.strict ==0.5,
any.syb ==0.7.2.3,
any.tagged ==0.8.7,
any.syb ==0.7.2.4,
any.tagged ==0.8.8,
tagged +deepseq +transformers,
any.tasty ==1.4.3,
tasty +unix,
Expand All @@ -259,15 +260,15 @@ constraints: any.BoundedChan ==1.0.3.0,
any.text-short ==0.1.5,
text-short -asserts,
any.tf-random ==0.5,
any.th-abstraction ==0.4.5.0,
any.th-lift ==0.8.3,
any.th-abstraction ==0.5.0.0,
any.th-lift ==0.8.4,
any.th-lift-instances ==0.1.20,
any.these ==1.2,
any.time ==1.11.1.1,
any.time-compat ==1.9.6.1,
time-compat -old-locale,
any.time-manager ==0.0.0,
any.tls ==1.7.0,
any.tls ==1.7.1,
tls +compat -hans +network,
any.tls-session-manager ==0.0.4,
any.transformers ==0.5.6.2,
Expand Down Expand Up @@ -308,7 +309,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.warp ==3.3.28,
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
any.warp-tls ==3.4.0,
any.what4 ==1.4,
any.what4 ==1.5,
what4 -drealtestdisable -solvertests -stptestdisable,
any.witherable ==0.4.2,
any.word8 ==0.1.3,
Expand All @@ -317,4 +318,4 @@ constraints: any.BoundedChan ==1.0.3.0,
any.zlib ==0.6.3.0,
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
any.zlib-bindings ==0.1.1.5
index-state: hackage.haskell.org 2023-07-10T01:00:51Z
index-state: hackage.haskell.org 2023-08-12T09:08:58Z
Loading

0 comments on commit e724119

Please sign in to comment.