10 Commits

Author	SHA1	Message	Date
Manuel Frischknecht	9ce833e2bc	echidna: fix broken build ... The overridden `hevm` package declared in `echnidna`s package is missing its `tuple` dependency, leading to failing builds: ``` Configuring hevm-0.51.3... CallStack (from HasCallStack): withMetadata, called at libraries/Cabal/Cabal/src/Distribution/Simple/Utils.hs:370:14 in Cabal-3.8.1.0:Distribution.Simple.Utils Error: Setup: Encountered missing or private dependencies: tuple >=0.3.0.2 && <0.4 ```	2023-12-28 00:47:45 +00:00
Miao, ZhiCheng	e6f657ba87	echidna: fix build due to brick-1.9 ... - use fetchpatch	2023-08-30 15:06:41 +03:00
Miao, ZhiCheng	d20ff6f764	echidna: 2.0.5 -> 2.2.1 ... * Changes - add slither-analyzer as a explicit executable system dependency. - use custom hevm dependency, instead of from haskellPackage.	2023-07-20 22:34:23 +03:00
Miao, ZhiCheng	3fcbabcc29	echidna: add new maintainer hellwolf	2023-07-20 21:53:51 +03:00
Artur Cygan	38d9d6a671	echidna: 2.0.4 -> 2.0.5	2023-01-21 14:11:25 +01:00
Artur Cygan	05f0b0614b	echidna: 2.0.3 -> 2.0.4	2022-11-23 16:20:31 +01:00
Artur Cygan	94cd95a346	echidna: 2.0.2 -> 2.0.3	2022-09-11 14:11:13 +02:00
Artur Cygan	6cabaded4a	echidna: 1.7.3 -> 2.0.2	2022-09-08 23:02:35 +02:00
Artur Cygan	cb2fee8ed3	echidna: 1.7.2 -> 1.7.3	2021-12-26 14:53:59 -08:00
Artur Cygan	af3e9c79eb	echidna: init at 1.7.2	2021-08-05 12:34:07 +02:00