Ok, the patch is not necessary anymore
but now I have this error, what is the best way to solve this ?
it seems to mùe that agda require a base version which is not supported by
cabal-debian
Am I right ?
cabal: Could not resolve dependencies:
[__0] next goal: Agda (user goal)
[__0] rejecting: Agda-2.7.0.1 (constraint from command line flag requires
==2.6.4.3)
[__0] trying: Agda-2.6.4.3
[__1] trying: base-4.15.1.0/installed-4.15.1.0 (dependency of Agda)
[__2] next goal: cabal-debian (user goal)
[__2] rejecting: cabal-debian-5.2.5 (constraint from command line flag
requires ==5.2.4)
[__2] rejecting: cabal-debian-5.2.4 (conflict:
base==4.15.1.0/installed-4.15.1.0, cabal-debian => base>=4.17 && <5)
[__2] skipping: cabal-debian-5.2.3 (has the same characteristics that caused
the previous version to fail: excludes 'base' version 4.15.1.0)
[__2] rejecting: cabal-debian-5.2.2, cabal-debian-5.2.1, cabal-debian-5.2,
cabal-debian-5.1.1, cabal-debian-5.1, cabal-debian-5.0.3, cabal-debian-5.0.2,
cabal-debian-5.0.1, cabal-debian-5.0, cabal-debian-4.39, cabal-debian-4.38.8,
cabal-debian-4.38.7, cabal-debian-4.38.5, cabal-debian-4.38.4,
cabal-debian-4.38.3, cabal-debian-4.38.2, cabal-debian-4.38.1,
cabal-debian-4.38, cabal-debian-4.36.2, cabal-debian-4.36.1,
cabal-debian-4.36, cabal-debian-4.35.9, cabal-debian-4.35.8,
cabal-debian-4.35.6, cabal-debian-4.35.5, cabal-debian-4.35.3,
cabal-debian-4.33, cabal-debian-4.32.5, cabal-debian-4.32.4,
cabal-debian-4.32.3, cabal-debian-4.32.2, cabal-debian-4.32.1,
cabal-debian-4.32, cabal-debian-4.31.9, cabal-debian-4.31.7,
cabal-debian-4.31.6, cabal-debian-4.31.4, cabal-debian-4.31.3,
cabal-debian-4.31.2, cabal-debian-4.31, cabal-debian-4.30.2,
cabal-debian-4.30, cabal-debian-4.29, cabal-debian-4.27.2,
cabal-debian-4.27.1, cabal-debian-4.27, cabal-debian-4.26, cabal-debian-4.25,
cabal-debian-4.24.9, cabal-debian-4.24.8, cabal-debian-4.24.6,
cabal-debian-4.24.5, cabal-debian-4.24.3, cabal-debian-4.23.1,
cabal-debian-4.20.1, cabal-debian-4.19.1, cabal-debian-4.17.5,
cabal-debian-4.17.4, cabal-debian-4.17.3, cabal-debian-4.15.2,
cabal-debian-4.15, cabal-debian-4.11, cabal-debian-4.3.1, cabal-debian-4.1.1,
cabal-debian-4.1, cabal-debian-4.0.6, cabal-debian-4.0.5, cabal-debian-4.0.4,
cabal-debian-4.0.3, cabal-debian-3.9, cabal-debian-3.8.3, cabal-debian-3.8.2,
cabal-debian-3.8.1, cabal-debian-3.8, cabal-debian-3.7, cabal-debian-3.5,
cabal-debian-3.4.3, cabal-debian-3.4.2, cabal-debian-3.4.1,
cabal-debian-3.0.7, cabal-debian-3.0.5, cabal-debian-3.0.4,
cabal-debian-3.0.3, cabal-debian-1.25, cabal-debian-1.24, cabal-debian-1.23,
cabal-debian-1.22, cabal-debian-1.21, cabal-debian-1.20, cabal-debian-1.6,
cabal-debian-1.5, cabal-debian-1.3, cabal-debian-3.4 (constraint from command
line flag requires ==5.2.4)
[__2] fail (backjumping, conflict set: base, cabal-debian)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: cabal-debian, Agda, base
Use of uninitialized value $_[0] in join or string at
/usr/share/perl5/File/Slurp.pm line 321.
36 error(s) in total.