From 6bd571eedde8391f90a4586e47034fa861d73752 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Jul 05 2019 08:47:44 +0000 Subject: add default profile for ghc:8.8 --- diff --git a/ghc.yaml b/ghc.yaml index 184676d..23bc1bd 100644 --- a/ghc.yaml +++ b/ghc.yaml @@ -2,6 +2,8 @@ document: modulemd-defaults version: 1 data: module: ghc + modified: 201907050847 profiles: 8.4: [default] 8.6: [default] + 8.8: [default]