diff options
| author | begin-theadventure | 2023-04-02 19:49:29 +0200 |
|---|---|---|
| committer | begin-theadventure | 2023-04-02 19:49:29 +0200 |
| commit | f94f0405c7ec866606596ac748e0f767f2faf459 (patch) | |
| tree | 8c5bedca27cea2d9a7a2839702eff91f390d9a00 | |
| parent | b905da5d2b6a67430157c68f56defa80ab5dec18 (diff) | |
| download | aur-ghc-raspbian-bin.tar.gz | |
Upgrade to version 8.8.4-2
| -rw-r--r-- | .SRCINFO | 13 | ||||
| -rw-r--r-- | PKGBUILD | 11 |
2 files changed, 11 insertions, 13 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Mon May 9 20:42:48 UTC 2016 pkgbase = ghc-raspbian-bin pkgdesc = GHC binaries for Raspberry Pi from Raspian repositories - pkgver = 7.10.3 - pkgrel = 7 + pkgver = 8.8.4 + pkgrel = 2 url = https://www.haskell.org/ghc/ install = ghc-raspbian-bin.install arch = armv6h @@ -13,7 +11,7 @@ pkgbase = ghc-raspbian-bin depends = gmp depends = gcc depends = libffi - provides = ghc=7.10.3 + provides = ghc=8.8.4 provides = haskell-array=0.5.1.0 provides = haskell-base=4.8.2.0 provides = haskell-binary=0.7.5.0 @@ -62,8 +60,7 @@ pkgbase = ghc-raspbian-bin replaces = haskell-unix replaces = haskell-xhtml options = staticlibs - source = http://archive.raspbian.org/raspbian/pool/main/g/ghc/ghc_7.10.3-7+rpi1_armhf.deb - sha256sums = 61b90723e5a10cf32964bb7292f4ae914f45dcbc2e9bd169f3b4fe137fe3dbc4 + source = https://archive.raspbian.org/raspbian/pool/main/g/ghc/ghc_8.8.4-2+rpi1_armhf.deb + sha256sums = 8c502b462ba3bcd3a8418789c2a917a0a0c82dfa75429092a345c6532cabb9e7 pkgname = ghc-raspbian-bin - @@ -1,7 +1,8 @@ -# Maintainer: João Miguel <jmcf125 at openmailbox dot org> +# Maintainer: begin-theadventure <begin-thecontact.ncncb@dralias.com> +# Previous-Maintainer: João Miguel <jmcf125 at openmailbox dot org> pkgname=ghc-raspbian-bin -pkgver=7.10.3 -pkgrel=7 +pkgver=8.8.4 +pkgrel=2 pkgdesc="GHC binaries for Raspberry Pi from Raspian repositories" arch=('armv6h') url='https://www.haskell.org/ghc/' @@ -61,8 +62,8 @@ options=('staticlibs') install="${pkgname}.install" options=('staticlibs') _filename="ghc_${pkgver}-${pkgrel}+rpi1_armhf.deb" -source=("http://archive.raspbian.org/raspbian/pool/main/g/ghc/$_filename") -sha256sums=('61b90723e5a10cf32964bb7292f4ae914f45dcbc2e9bd169f3b4fe137fe3dbc4') +source=("https://archive.raspbian.org/raspbian/pool/main/g/ghc/$_filename") +sha256sums=('8c502b462ba3bcd3a8418789c2a917a0a0c82dfa75429092a345c6532cabb9e7') package() { echo '==> Extracting with dpkg. Note: packaging may take over 40 minutes.' |