diff --git a/.chain-deps b/.chain-deps new file mode 100644 index 0000000..a1be845 --- /dev/null +++ b/.chain-deps @@ -0,0 +1,3 @@ +# rebuild.sh config file: see + +CHAIN_PKGS="ghc-digest ghc-xml : ghc-texmath ghc-zip-archive"