diff --git a/ci/config.sh b/ci/config.sh index 49b3288875225b8a87c133f39494cf9dfb96a16c..508d454f883f8a3d346ddb33672230100fb04993 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 e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000