From 9494ad24670301c1d6b47e128164d441034032ff Mon Sep 17 00:00:00 2001 From: Ryan Scott <ryan.gl.scott@gmail.com> Date: Tue, 9 Nov 2021 08:49:07 -0500 Subject: [PATCH] Use singletons-base, not singletons, as the extra_package Previously, the `singletons` package included all of what is now part of `singletons-base`. To ensure that we are still testing this code on CI, make `singletons-base` the `extra_package`. --- ci/config.sh | 2 +- patches/singletons-3.0.patch | 0 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 patches/singletons-3.0.patch diff --git a/ci/config.sh b/ci/config.sh index 49b32888..508d454f 100644 --- a/ci/config.sh +++ b/ci/config.sh @@ -98,7 +98,7 @@ extra_package criterion extra_package scotty extra_package generic-lens 2.2.0.0 extra_package microstache -extra_package singletons 3.0 +extra_package singletons-base 3.0 extra_package servant 0.18.3 extra_package hgmp extra_package Agda 2.6.1.3 diff --git a/patches/singletons-3.0.patch b/patches/singletons-3.0.patch deleted file mode 100644 index e69de29b..00000000 -- GitLab