simplify-bin/PKGBUILD

   1
   2 # Contributor: Paolo Herms
   3
   4 pkgname=simplify-bin
   5 pkgver=1.5.4
   6 pkgrel=1
   7 pkgdesc="An automatic theorem prover"
   8 arch=('any')
   9 url="http://kind.ucd.ie/products/opensource/archives/"
  10 license=('unknown')
  11 makedepends=('unzip')
  12 source=(http://krakatoa.lri.fr/ws/Simplify-1.5.5-13-06-07-binary.zip)
  13 md5sums=('cacbd98e7cff7b81e43427420b7daf45')
  14
  15 build() {
  16   install -D "$srcdir"/Simplify/Simplify-1.5.4.linux "$pkgdir"/usr/bin/simplify
  17 }