From 6783f1a6f4274f5ecf2499bd6f18590f15d43d45 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20B=C3=A4renz?= Date: Mon, 7 May 2018 19:34:57 +0200 Subject: [PATCH 1/2] Add dunai, rhine, and rhine-gloss --- build-constraints.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 69016aab..0ad87a1f 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -7,6 +7,11 @@ cabal-format-version: "2.0" # Constraints for brand new builds packages: + "Manuel Bärenz @turion": + - dunai + - rhine + - rhine-gloss + "Paul Johnson @PaulJohnson": - geodetics From 13d23e7c88b89db13181857b5a2310e44c472225 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20B=C3=A4renz?= Date: Wed, 9 May 2018 17:25:38 +0200 Subject: [PATCH 2/2] =?UTF-8?q?Manuel=20B=C3=A4renz:=20Only=20maintain=20d?= =?UTF-8?q?unai=20for=20now?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build-constraints.yaml | 2 -- 1 file changed, 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 0ad87a1f..3687b7cf 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -9,8 +9,6 @@ cabal-format-version: "2.0" packages: "Manuel Bärenz @turion": - dunai - - rhine - - rhine-gloss "Paul Johnson @PaulJohnson": - geodetics