blob: bb8cfd964f8e636dca3b42b769f366e306e24058 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash
set -e
apt-get -y --purge remove libghc-setlocale-doc
ret="$(hoogle categoryToCInt)"
test "$ret" = "No results found"
apt-get -y install libghc-setlocale-doc
ret="$(hoogle categoryToCInt)"
test "$ret" = "System.Locale.SetLocale categoryToCInt :: Category -> CInt"
apt-get -y --purge remove libghc-setlocale-doc
ret="$(hoogle categoryToCInt)"
test "$ret" = "No results found"
|
