On 02/08/2019 23.13, Martin Escardo wrote: > I copied the tree .cabal from Ubuntu 16.04 to 18.04, given that both > run ghc 8.0.2, and given that I kept my fingers crossed. What did you copy? -- /NAD