index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-06-18 17:02:13 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-18 17:02:13 +0200 |
commit | c520b284f6c07e80646987a64037cb06773f6e47 (patch) | |
tree | 60db9114cda76ed92f045c14fe25026d0147133c /extra/gsl | |
parent | 0040d0f741ea03788dc4e3e5b236fd1cc12ce282 (diff) |
-rw-r--r-- | extra/gsl/PKGBUILD | 3 |
diff --git a/extra/gsl/PKGBUILD b/extra/gsl/PKGBUILD new file mode 100644 index 00000000..7416f809 --- /dev/null +++ b/extra/gsl/PKGBUILD @@ -0,0 +1,3 @@ +# https://lists.gnu.org/archive/html/bug-gsl/2015-11/msg00011.html + +unset check |