diff options
-rwxr-xr-x | personal/mu/build | 4 | ||||
-rw-r--r-- | personal/mu/checksums | 2 | ||||
-rw-r--r-- | personal/mu/sources | 2 | ||||
-rw-r--r-- | personal/mu/version | 2 |
4 files changed, 6 insertions, 4 deletions
diff --git a/personal/mu/build b/personal/mu/build index 55d4897..c9b66b7 100755 --- a/personal/mu/build +++ b/personal/mu/build @@ -2,7 +2,9 @@ autoreconf -if -export MAKEINFO=true +cpt l texinfo || export MAKEINFO=true + +export LDFLAGS="$LDFLAGS -static" ./configure \ --prefix=/usr \ diff --git a/personal/mu/checksums b/personal/mu/checksums index 7ab5c42..f74b0e2 100644 --- a/personal/mu/checksums +++ b/personal/mu/checksums @@ -1 +1 @@ -0f32552165b96d8edbc467e1ef3e2dd521e1d2adbba3462b90ced2dc2930d721 1.4.3.tar.gz +8856465501dccd9101eda1a29bedada010e6ff828c9d922f1abe86b152a2741b 1.4.13.tar.gz diff --git a/personal/mu/sources b/personal/mu/sources index 7a85488..e864ab9 100644 --- a/personal/mu/sources +++ b/personal/mu/sources @@ -1 +1 @@ -https://github.com/djcb/mu/archive/1.4.3.tar.gz +https://github.com/djcb/mu/archive/1.4.13.tar.gz diff --git a/personal/mu/version b/personal/mu/version index f995c26..d6dc49e 100644 --- a/personal/mu/version +++ b/personal/mu/version @@ -1 +1 @@ -1.4.3 1 +1.4.13 1 |